diff options
| author | 2023-05-01 09:47:10 +0200 | |
|---|---|---|
| committer | 2023-05-01 09:47:10 +0200 | |
| commit | 53808c6c05a90ad487d770c65e69bc99a2144bae (patch) | |
| tree | 08102c62d391553c8b913ad0683ffd9d0229567e /cli/update-user.php | |
| parent | ffacdaa57a4725d9aad15c621eda7179e18dcaa4 (diff) | |
Fix API starred (#5366)
* Fix API starred
Fix https://github.com/FreshRSS/FreshRSS/issues/5363
https://github.com/FreshRSS/FreshRSS/commit/c72914bba2363e436574204b3d6093a6f3cfce89#commitcomment-111220080
* Minor type fix
* Additional check
* Minor syntax change
* Forgotten type change
Diffstat (limited to 'cli/update-user.php')
0 files changed, 0 insertions, 0 deletions
