From 9e7bb2041f9b206494f32feacb06d7e078e0a68f Mon Sep 17 00:00:00 2001 From: Andrew Dolgov Date: Wed, 16 Aug 2006 08:37:30 +0100 Subject: 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 72b563d05..dff780b1f 100644 --- a/backend.php +++ b/backend.php @@ -2252,6 +2252,8 @@ if ($op == "pref-labels") { if (!GLOBAL_ENABLE_LABELS) { + + print "

Sorry, labels have been administratively disabled for this installation. Please contact instance owner or edit configuration file to enable this functionality.

"; return; } diff --git a/prefs.php b/prefs.php index a5efa356f..1e9aadd51 100644 --- a/prefs.php +++ b/prefs.php @@ -132,7 +132,7 @@ window.onload = init; - + -- cgit v1.2.3