From 9e7bb2041f9b206494f32feacb06d7e078e0a68f Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <fox@madoka.spb.ru>
Date: Wed, 16 Aug 2006 08:37:30 +0100
Subject: [PATCH] change handling of GLOBAL_ENABLE_LABELS when disabled

---
 backend.php | 2 ++
 prefs.php   | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/backend.php b/backend.php
index 72b563d0..dff780b1 100644
--- a/backend.php
+++ b/backend.php
@@ -2252,6 +2252,8 @@
 	if ($op == "pref-labels") {
 
 		if (!GLOBAL_ENABLE_LABELS) { 
+
+			print "<p>Sorry, labels have been administratively disabled for this installation. Please contact instance owner or edit configuration file to enable this functionality.</p>";
 			return; 
 		}
 
diff --git a/prefs.php b/prefs.php
index a5efa356..1e9aadd5 100644
--- a/prefs.php
+++ b/prefs.php
@@ -132,7 +132,7 @@ window.onload = init;
 		<? } ?>
 		<input id="filterConfigTab" class="prefsTab" type="submit" value="Content Filtering"
 			onclick="selectTab('filterConfig')">
-		<? if (GLOBAL_ENABLE_LABELS && get_pref($link, 'ENABLE_LABELS')) { ?>
+		<? if (get_pref($link, 'ENABLE_LABELS')) { ?>
 		<input id="labelConfigTab" class="prefsTab" type="submit" value="Label Editor"
 			onclick="selectTab('labelConfig')">
 		<? } ?>
-- 
2.39.5