X-Git-Url: https://git.wh0rd.org/?p=tt-rss.git;a=blobdiff_plain;f=classes%2Fpref%2Fprefs.php;h=0ae3e1bbb795a84b2b53a5b35eb10eb79971c019;hp=82456f342ea91d1e913a7d9565e5868b9500807a;hb=81fc862e370a1dfbd3941206fd00076e3cbf0551;hpb=e52034b4bcce994312ce2af31be0a46a70172691

diff --git a/classes/pref/prefs.php b/classes/pref/prefs.php
index 82456f34..0ae3e1bb 100644
--- a/classes/pref/prefs.php
+++ b/classes/pref/prefs.php
@@ -172,6 +172,7 @@ class Pref_Prefs extends Handler_Protected {
 					"DEFAULT_UPDATE_INTERVAL", "USER_TIMEZONE", "SORT_HEADLINES_BY_FEED_DATE",
 					"SSL_CERT_SERIAL", "DIGEST_PREFERRED_TIME");
 
+		$digest_options = array("DIGEST_ENABLE", "DIGEST_CATCHUP", "DIGEST_PREFERRED_TIME");
 
 		$_SESSION["prefs_op_result"] = "";
 
@@ -502,6 +503,10 @@ class Pref_Prefs extends Handler_Protected {
 				continue;
 			}
 
+			/* Hide options from the user that are disabled in config.php. */
+			if (DIGEST_SUBJECT === false && in_array($pref_name, $digest_options))
+				continue;
+
 			if ($active_section != $line["section_id"]) {
 
 				if ($active_section != "") {