Benoit Marty 373d2f1eb5 Add a Push rules entry to the developer options ...

Add a "Push rules" item in the Notifications section of the developer options,
above "Push history". It displays the raw push rules of the account, which were
only available as a rageshake attachment so far.

The content is read using NotificationSettingsService.getRawPushRules(), then
rendered by the new FileViewerEntryPoint, so that the screen looks like the media
viewer rendering a file, with Share and Download actions on a
push_rules<userId>.json file. The user id contains a colon, which is not a valid
file name character on all the file systems, so it is replaced by an underscore.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

2026-08-26 12:11:16 +02:00

..

src

Add a Push rules entry to the developer options

2026-08-26 12:11:16 +02:00

build.gradle.kts

Add a Push rules entry to the developer options

2026-08-26 12:11:16 +02:00