diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2025-12-17 10:11:18 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2025-12-17 10:11:18 +0100 |
| commit | 00cd5df294c875ea1e00ab2f645a338a6bd92c8e (patch) | |
| tree | e1dc56d3d01bffea632d1d4c08a1153d7ea7a7c5 /app/Models/Feed.php | |
| parent | 4bd503591469f47e710f1afbf0b5883f7770065d (diff) | |
Use native PHP #[Deprecated] (#8325)
https://php.watch/versions/8.4/Deprecated
And enfore it with PHPUnit + PHPStan.
Especially useful for extensions.
Diffstat (limited to 'app/Models/Feed.php')
| -rw-r--r-- | app/Models/Feed.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app/Models/Feed.php b/app/Models/Feed.php index 5cf82b718..19ff4fa81 100644 --- a/app/Models/Feed.php +++ b/app/Models/Feed.php @@ -40,7 +40,7 @@ class FreshRSS_Feed extends Minz_Model { public const PRIORITY_CATEGORY = 0; public const PRIORITY_FEED = -5; public const PRIORITY_HIDDEN = -10; - /** @deprecated use PRIORITY_HIDDEN instead */ + #[Deprecated('Use PRIORITY_HIDDEN instead')] public const PRIORITY_ARCHIVED = -10; public const TTL_DEFAULT = 0; |