diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2022-05-09 12:54:54 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2022-05-09 12:54:54 +0200 |
| commit | 80a228e9a6219c5277e8c20f50566ed0766d805e (patch) | |
| tree | 6aa05373c7e54aac7df14998c1b36368d768bf24 /app/Models/UserConfiguration.php | |
| parent | d8ccb5800c99f1fd4195c33ac396848ae8dd8165 (diff) | |
Option icons-as-emojis for performance (#4353)
New mode to use only emojis instead of icons.
Considerably improves performances.
Needed for 20k+ feeds scenario https://github.com/FreshRSS/FreshRSS/pull/4347
Diffstat (limited to 'app/Models/UserConfiguration.php')
| -rw-r--r-- | app/Models/UserConfiguration.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/app/Models/UserConfiguration.php b/app/Models/UserConfiguration.php index 864bf4ec8..26346bc62 100644 --- a/app/Models/UserConfiguration.php +++ b/app/Models/UserConfiguration.php @@ -39,6 +39,7 @@ * @property int $since_hours_posts_per_rss * @property bool $show_fav_unread * @property bool $show_favicons + * @property bool $icons_as_emojis * @property bool $show_nav_buttons * @property string $sort_order * @property array<string,array<string>> $sharing |