Merge branch 'feature/php-misc' into 'master'

More native typing, use some new PHP stuff See merge request tt-rss/tt-rss!88
2024-12-16 06:29:28 +00:00
parent d1c0ba5944 6f8f1b30d5
commit e990a3c00f
17 changed files with 122 additions and 166 deletions
--- a/classes/Pref_Filters.php
+++ b/classes/Pref_Filters.php
@@ -13,7 +13,7 @@ class Pref_Filters extends Handler_Protected {
 	const MAX_ACTIONS_TO_DISPLAY = 3;

 	/** @var array<int,array<mixed>> $action_descriptions */
-	private $action_descriptions = [];
+	private array $action_descriptions = [];

 	function before(string $method) : bool {