mirror of
https://github.com/FreshRSS/FreshRSS.git
synced 2026-02-07 20:11:07 -05: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