1 files changed, 14 insertions, 0 deletions
diff --git a/inc/html.php b/inc/html.php
index 41f26e5cd..4058440ca 100644
--- a/inc/html.php
+++ b/inc/html.php
@@ -64,6 +64,20 @@ function html_login(){
     print '</div>'.NL;
 }
 
+
+/**
+ * Denied page content
+ *
+ * @return string html
+ */
+function html_denied() {
+    print p_locale_xhtml('denied');
+
+    if(!$_SERVER['REMOTE_USER']){
+        html_login();
+    }
+}
+
 /**
  * inserts section edit buttons if wanted or removes the markers
  *