mirror of
https://github.com/FreshRSS/FreshRSS.git
synced 2026-04-07 16:07:41 -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