From 80a228e9a6219c5277e8c20f50566ed0766d805e Mon Sep 17 00:00:00 2001
From: Alexandre Alapetite <alexandre@alapetite.fr>
Date: Mon, 9 May 2022 12:54:54 +0200
Subject: 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
---
 app/Models/UserConfiguration.php | 1 +
 1 file changed, 1 insertion(+)

(limited to 'app/Models/UserConfiguration.php')

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
-- 
cgit v1.2.3