From f340af9eef761de1211385ac529b22690f77e4a8 Mon Sep 17 00:00:00 2001
From: Brion Vibber <brion@users.mediawiki.org>
Date: Thu, 21 Apr 2005 10:20:26 +0000
Subject: [PATCH] Special:Debug hasn't been active in a while and was long
 deprecated and not usable on a default install. Removing. (It's just a
 phpinfo() wrapper anyway.)

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

diff --git a/includes/SpecialDebug.php b/includes/SpecialDebug.php
deleted file mode 100644
index cc82c0a411..0000000000
--- a/includes/SpecialDebug.php
+++ /dev/null
@@ -1,19 +0,0 @@
-<?php
-/**
- * Let developpers receive the full phpinfo output
- * @package MediaWiki
- * @subpackage SpecialPage
- */
- 
-/**
- *
- */
-function wfSpecialDebug() {
-	global $wgUser, $wgOut;
-
-	if ( ! $wgUser->isAllowed('siteadmin') ) {
-		$wgOut->developerRequired();
-		return;
-	}
-	phpinfo();
-}
-- 
2.20.1