diff options
author | Andrew Dolgov <[email protected]> | 2021-02-26 12:34:50 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2021-02-26 12:34:50 +0300 |
commit | 9689f884ab6960f5f3dde341e3e678550c792692 (patch) | |
tree | 6fcd77834f101641e73e1d00ddd98cf73f26df15 /classes/pref/prefs.php | |
parent | 05f690c86bd206036fa281de4090592ed31673dc (diff) |
add Prefs::DEBUG_HEADLINE_IDS
Diffstat (limited to 'classes/pref/prefs.php')
-rw-r--r-- | classes/pref/prefs.php | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/classes/pref/prefs.php b/classes/pref/prefs.php index 45216d20e..74178d3c6 100644 --- a/classes/pref/prefs.php +++ b/classes/pref/prefs.php @@ -65,7 +65,10 @@ class Pref_Prefs extends Handler_Protected { Prefs::SSL_CERT_SERIAL, 'BLOCK_SEPARATOR', Prefs::HEADLINES_NO_DISTINCT, - ] + ], + __('Debugging') => [ + Prefs::DEBUG_HEADLINE_IDS, + ], ]; $this->pref_help_bottom = [ @@ -101,6 +104,7 @@ class Pref_Prefs extends Handler_Protected { Prefs::USER_LANGUAGE => array(__("Language")), Prefs::USER_CSS_THEME => array(__("Theme")), Prefs::HEADLINES_NO_DISTINCT => array(__("Don't enforce DISTINCT headlines"), __("May produce duplicate entries")), + Prefs::DEBUG_HEADLINE_IDS => array(__("Show article and feed IDs"), __("In headlines buffer")), ]; // hidden in the main prefs UI (use to hide things that have description set above) |