From 9689f884ab6960f5f3dde341e3e678550c792692 Mon Sep 17 00:00:00 2001 From: Andrew Dolgov Date: Fri, 26 Feb 2021 12:34:50 +0300 Subject: add Prefs::DEBUG_HEADLINE_IDS --- classes/prefs.php | 2 ++ 1 file changed, 2 insertions(+) (limited to 'classes/prefs.php') diff --git a/classes/prefs.php b/classes/prefs.php index 6da1029dc..8eba40ad5 100644 --- a/classes/prefs.php +++ b/classes/prefs.php @@ -57,6 +57,7 @@ class Prefs { const DEFAULT_SEARCH_LANGUAGE = "DEFAULT_SEARCH_LANGUAGE"; const _PREFS_MIGRATED = "_PREFS_MIGRATED"; const HEADLINES_NO_DISTINCT = "HEADLINES_NO_DISTINCT"; + const DEBUG_HEADLINE_IDS = "DEBUG_HEADLINE_IDS"; private const _DEFAULTS = [ Prefs::PURGE_OLD_DAYS => [ 60, Config::T_INT ], @@ -114,6 +115,7 @@ class Prefs { Prefs::DEFAULT_SEARCH_LANGUAGE => [ "" , Config::T_STRING ], Prefs::_PREFS_MIGRATED => [ false, Config::T_BOOL ], Prefs::HEADLINES_NO_DISTINCT => [ false, Config::T_BOOL ], + Prefs::DEBUG_HEADLINE_IDS => [ false, Config::T_BOOL ], ]; const _PROFILE_BLACKLIST = [ -- cgit v1.2.3