mirror/FreshRSS
0
0
Fork 0
mirror of https://github.com/FreshRSS/FreshRSS.git synced 2026-01-27 22:59:08 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
e53ba88bb96ba1343ffc771f6170baa4342b4e39
FreshRSS/app/Models/UserQuery.php
Alexandre Alapetite e617830e96 Fix types hint in UserQuery.php (#5045) 
* 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
2023-01-28 13:37:09 +01:00

5.5 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink