1 files changed, 0 insertions, 19 deletions
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();
-}
-
-