From 9cc57572c7a578f406fa7b9fd7ac8d6bc9104fe0 Mon Sep 17 00:00:00 2001
From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Fri, 13 Nov 2009 11:47:24 +0000
Subject: [PATCH] Removed $wgSpecialVersionExtended, not used anymore since
 r54735

---
 includes/DefaultSettings.php | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 277b364771..c938ca1d53 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -1166,12 +1166,6 @@ $wgShowDebug            = false;
  */
 $wgSpecialVersionShowHooks =  false;
 
-/**
- * By default, only show the MediaWiki, PHP, Database versions.
- * Setting this to true will try and determine versions of all helper programs.
- */
-$wgSpecialVersionExtended = false;
-
 /**
  * Whether to show "we're sorry, but there has been a database error" pages.
  * Displaying errors aids in debugging, but may display information useful
-- 
2.20.1