From 396b28f3d881f5debd888ba9bb9b47c2d478a76f Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Mon, 15 Dec 2008 18:02:47 +0100
Subject: update to Mediawiki 1.13.3; some cleanups

---
 includes/SpecialUserlogout.php | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100644 includes/SpecialUserlogout.php

(limited to 'includes/SpecialUserlogout.php')

diff --git a/includes/SpecialUserlogout.php b/includes/SpecialUserlogout.php
deleted file mode 100644
index d9952ea5..00000000
--- a/includes/SpecialUserlogout.php
+++ /dev/null
@@ -1,19 +0,0 @@
-<?php
-/**
- *
- * @addtogroup SpecialPage
- */
-
-/**
- * constructor
- */
-function wfSpecialUserlogout() {
-	global $wgUser, $wgOut;
-
-	$wgUser->logout();
-	$wgOut->setRobotpolicy( 'noindex,nofollow' );
-	$wgOut->addHTML( wfMsgExt( 'logouttext', array( 'parse' ) ) );
-	$wgOut->returnToMain();
-}
-
-
-- 
cgit v1.2.3-54-g00ecf