From 183851b06bd6c52f3cae5375f433da720d410447 Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Wed, 11 Oct 2006 18:12:39 +0000
Subject: MediaWiki 1.7.1 wiederhergestellt

---
 includes/SpecialUserlogout.php | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 includes/SpecialUserlogout.php

(limited to 'includes/SpecialUserlogout.php')

diff --git a/includes/SpecialUserlogout.php b/includes/SpecialUserlogout.php
new file mode 100644
index 00000000..f3fcbc4f
--- /dev/null
+++ b/includes/SpecialUserlogout.php
@@ -0,0 +1,27 @@
+<?php
+/**
+ *
+ * @package MediaWiki
+ * @subpackage SpecialPage
+ */
+
+/**
+ * constructor
+ */
+function wfSpecialUserlogout() {
+	global $wgUser, $wgOut;
+
+	if (wfRunHooks('UserLogout', array(&$wgUser))) {
+
+		$wgUser->logout();
+
+		wfRunHooks('UserLogoutComplete', array(&$wgUser));
+
+		$wgOut->setRobotpolicy( 'noindex,nofollow' );
+		$wgOut->addHTML( wfMsgExt( 'logouttext', array( 'parse' ) ) );
+		$wgOut->returnToMain();
+
+	}
+}
+
+?>
-- 
cgit v1.2.2