diff options
| author | 2023-04-20 00:55:10 +0200 | |
|---|---|---|
| committer | 2023-04-20 00:55:10 +0200 | |
| commit | ecd956c73608a699a8ebd177c68c740c4ca20af7 (patch) | |
| tree | fd63ac2cede97c2e4db2afa5fe5fa85e4cc566db /app/Models/UserConfiguration.php | |
| parent | 2f53214c159738efc631ce3930e91c44f00f76f5 (diff) | |
PHPStan 7 configureController (#5318)
And fix bugs for saving user queries
Diffstat (limited to 'app/Models/UserConfiguration.php')
| -rw-r--r-- | app/Models/UserConfiguration.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app/Models/UserConfiguration.php b/app/Models/UserConfiguration.php index df19d95e7..173ab78b9 100644 --- a/app/Models/UserConfiguration.php +++ b/app/Models/UserConfiguration.php @@ -39,7 +39,7 @@ * @property bool $onread_jump_next * @property string $passwordHash * @property int $posts_per_page - * @property array<array<string,string>> $queries + * @property array<array<string,string|int>> $queries * @property bool $reading_confirm * @property int $since_hours_posts_per_rss * @property bool $show_fav_unread |
