diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2023-01-28 13:37:09 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2023-01-28 13:37:09 +0100 |
| commit | e617830e966862006e7f64eb83a733deb4549e29 (patch) | |
| tree | 9ee2ff908c9ae9cf2d766a774979e7ea787276f8 /docs | |
| parent | d8744a9ec159a4b22274e18083004f060a2a1de9 (diff) | |
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
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions