summaryrefslogtreecommitdiff
path: root/classes/prefs.php
diff options
context:
space:
mode:
authorAndrew Dolgov <[email protected]>2021-02-26 12:34:50 +0300
committerAndrew Dolgov <[email protected]>2021-02-26 12:34:50 +0300
commit9689f884ab6960f5f3dde341e3e678550c792692 (patch)
tree6fcd77834f101641e73e1d00ddd98cf73f26df15 /classes/prefs.php
parent05f690c86bd206036fa281de4090592ed31673dc (diff)
add Prefs::DEBUG_HEADLINE_IDS
Diffstat (limited to 'classes/prefs.php')
-rw-r--r--classes/prefs.php2
1 files changed, 2 insertions, 0 deletions
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 = [