From d59dea9fddf885a836f7dc2d8be1f93afb7e9542 Mon Sep 17 00:00:00 2001
From: Gerrit Uitslag <klapinklapin@gmail.com>
Date: Tue, 25 Feb 2014 20:00:56 +0100
Subject: [PATCH] added new html_denied() method as well
---
inc/html.php | 19 +++++++++++++++++++
1 file changed, 19 insertions(+)
diff --git a/inc/html.php b/inc/html.php
index fcec29670..507ba511e 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
*
--
GitLab