diff options
| author | 2025-10-26 15:07:38 +0100 | |
|---|---|---|
| committer | 2025-10-26 15:07:38 +0100 | |
| commit | 1217b6de34cc5f23cc73d8d37a51c4616a3780ab (patch) | |
| tree | 193f43d5c654a2dbd5a9da1703956ee97a15fb17 /app/Services/ExportService.php | |
| parent | e18ac172db58b66b50c21dc03fcb157768f8fd8a (diff) | |
OPML export/import frss:priority (#8158)
Follow-up of https://github.com/FreshRSS/FreshRSS/pull/7583
Diffstat (limited to 'app/Services/ExportService.php')
| -rw-r--r-- | app/Services/ExportService.php | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/app/Services/ExportService.php b/app/Services/ExportService.php index 69f0b3d2b..14f0a3f5c 100644 --- a/app/Services/ExportService.php +++ b/app/Services/ExportService.php @@ -23,6 +23,12 @@ class FreshRSS_Export_Service { final public const TYPE_JSONFEED = 'JSONFeed'; final public const TYPE_HTML_XPATH_JSON_DOTNOTATION = 'HTML+XPath+JSON+DotNotation'; + final public const PRIORITY_IMPORTANT = 'important'; + final public const PRIORITY_MAIN_STREAM = 'main'; + final public const PRIORITY_CATEGORY = 'category'; + final public const PRIORITY_FEED = 'feed'; + final public const PRIORITY_HIDDEN = 'hidden'; + /** * Initialize the service for the given user. */ |
