mirror of
https://github.com/FreshRSS/FreshRSS.git
synced 2026-06-13 02:03:45 -04:00
* Fix types hint in UserQuery.php In particular, we had a mix of strings and integers for the query state Pass PHPStan level 9 * Unneeded null check
7.5 KiB
7.5 KiB