aboutsummaryrefslogtreecommitdiff
path: root/app/Services/ExportService.php
diff options
context:
space:
mode:
authorGravatar Alexandre Alapetite <alexandre@alapetite.fr> 2024-09-06 09:06:46 +0200
committerGravatar GitHub <noreply@github.com> 2024-09-06 09:06:46 +0200
commita81656c3ed5b8fe0f31794a4fbe0d1a907fca8e8 (patch)
tree8bf49bd876aaebc985a9fb1214863190a799cbee /app/Services/ExportService.php
parent8f7c3473a76809efc88814253722c76f0cc8eb04 (diff)
Upgrade to PHP 8.1 (#6711)
* Upgrade to PHP 8.1 As discussed in https://github.com/FreshRSS/FreshRSS/discussions/5474 https://www.php.net/releases/8.0/en.php https://www.php.net/releases/8.1/en.php Upgrade to available native type declarations https://php.net/language.types.declarations Upgrade to https://phpunit.de/announcements/phpunit-10.html which requires PHP 8.1+ (good timing, as version 9 was not maintained anymore) Upgrade `:oldest` Docker dev image to oldest Alpine version supporting PHP 8.1: Alpine 3.16, which includes PHP 8.1.22. * Include 6736 https://github.com/FreshRSS/FreshRSS/pull/6736
Diffstat (limited to 'app/Services/ExportService.php')
-rw-r--r--app/Services/ExportService.php17
1 files changed, 7 insertions, 10 deletions
diff --git a/app/Services/ExportService.php b/app/Services/ExportService.php
index 91c8c91e3..ba4042d21 100644
--- a/app/Services/ExportService.php
+++ b/app/Services/ExportService.php
@@ -16,13 +16,13 @@ class FreshRSS_Export_Service {
private FreshRSS_TagDAO $tag_dao;
- public const FRSS_NAMESPACE = 'https://freshrss.org/opml';
- public const TYPE_HTML_XPATH = 'HTML+XPath';
- public const TYPE_XML_XPATH = 'XML+XPath';
- public const TYPE_RSS_ATOM = 'rss';
- public const TYPE_JSON_DOTPATH = 'JSON+DotPath'; // Legacy 1.24.0-dev
- public const TYPE_JSON_DOTNOTATION = 'JSON+DotNotation';
- public const TYPE_JSONFEED = 'JSONFeed';
+ final public const FRSS_NAMESPACE = 'https://freshrss.org/opml';
+ final public const TYPE_HTML_XPATH = 'HTML+XPath';
+ final public const TYPE_XML_XPATH = 'XML+XPath';
+ final public const TYPE_RSS_ATOM = 'rss';
+ final public const TYPE_JSON_DOTPATH = 'JSON+DotPath'; // Legacy 1.24.0-dev
+ final public const TYPE_JSON_DOTNOTATION = 'JSON+DotNotation';
+ final public const TYPE_JSONFEED = 'JSONFeed';
/**
* Initialize the service for the given user.
@@ -87,8 +87,6 @@ class FreshRSS_Export_Service {
/**
* Generate the entries file content for the given feed.
- * @param int $feed_id
- * @param int $max_number_entries
* @return array{0:string,1:string}|null First item is the filename, second item is the content.
* It also can return null if the feed doesn’t exist.
*/
@@ -124,7 +122,6 @@ class FreshRSS_Export_Service {
/**
* Generate the entries file content for all the feeds.
- * @param int $max_number_entries
* @return array<string,string> Keys are filenames and values are contents.
*/
public function generateAllFeedEntries(int $max_number_entries): array {