diff --git a/inc/html.php b/inc/html.php
index fcec2967093e36821c922a49d6e8bb801c234dc1..507ba511e49d51ba0910083c83620954ad79060e 100644
--- a/inc/html.php
+++ b/inc/html.php
@@ -64,6 +64,25 @@ function html_login(){
     print '</div>'.NL;
 }
 
+
+/**
+ * Denied page content
+ *
+ * @return string html
+ */
+function html_denied() {
+    global $lang;
+    $denied = p_locale_xhtml('denied');
+    $notloggedin = isset($_SERVER['REMOTE_USER']) ? '' : $lang['notloggedin'];
+
+    $denied = str_replace(
+        array('@NOTLOGGEDIN@'),
+        array($notloggedin),
+        $denied
+    );
+    print $denied;
+}
+
 /**
  * inserts section edit buttons if wanted or removes the markers
  *