mirror of
https://github.com/FreshRSS/FreshRSS.git
synced 2026-02-08 04:21: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
7.5 KiB
7.5 KiB