mirror/FreshRSS
0
0
Fork 0
mirror of https://github.com/FreshRSS/FreshRSS.git synced 2026-02-08 20:41:40 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
b8662f88995df2cbae655d4efe8f414eb3872e5e
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