From 258c6d802bdd95259554e9e119dcd39f6602401c Mon Sep 17 00:00:00 2001 From: Rytis Slatkevicius Date: Fri, 17 May 2013 11:12:29 +0300 Subject: [PATCH] Allow additional CSS file for ops pages (defined in project.inc as ADMIN_STYLESHEET) --- html/inc/util_ops.inc | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/html/inc/util_ops.inc b/html/inc/util_ops.inc index 735244ccc7..fd90abacac 100644 --- a/html/inc/util_ops.inc +++ b/html/inc/util_ops.inc @@ -31,7 +31,11 @@ function admin_page_head($title) { $stylesheet = URL_BASE.STYLESHEET; echo "$title - + "; + if (defined('ADMIN_STYLESHEET')) { + echo ""; + } + echo "

".PROJECT.": $title