diff options
Diffstat (limited to 'classes/prefs.php')
| -rw-r--r-- | classes/prefs.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/classes/prefs.php b/classes/prefs.php index e6d8a84f1..6da1029dc 100644 --- a/classes/prefs.php +++ b/classes/prefs.php @@ -56,6 +56,7 @@ class Prefs { const USER_LANGUAGE = "USER_LANGUAGE"; const DEFAULT_SEARCH_LANGUAGE = "DEFAULT_SEARCH_LANGUAGE"; const _PREFS_MIGRATED = "_PREFS_MIGRATED"; + const HEADLINES_NO_DISTINCT = "HEADLINES_NO_DISTINCT"; private const _DEFAULTS = [ Prefs::PURGE_OLD_DAYS => [ 60, Config::T_INT ], @@ -112,6 +113,7 @@ class Prefs { Prefs::USER_LANGUAGE => [ "" , Config::T_STRING ], Prefs::DEFAULT_SEARCH_LANGUAGE => [ "" , Config::T_STRING ], Prefs::_PREFS_MIGRATED => [ false, Config::T_BOOL ], + Prefs::HEADLINES_NO_DISTINCT => [ false, Config::T_BOOL ], ]; const _PROFILE_BLACKLIST = [ |