diff options
author | Andrew Dolgov <[email protected]> | 2006-08-16 08:37:30 +0100 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2006-08-16 08:37:30 +0100 |
commit | 9e7bb2041f9b206494f32feacb06d7e078e0a68f (patch) | |
tree | 11bda94347f687bdc4f58f4ad2b2635ec742a985 | |
parent | f531499b2506bca709a5528b96dce3f7a415d74d (diff) |
change handling of GLOBAL_ENABLE_LABELS when disabled
-rw-r--r-- | backend.php | 2 | ||||
-rw-r--r-- | prefs.php | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/backend.php b/backend.php index 72b563d05..dff780b1f 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; } @@ -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')"> <? } ?> |