From ab1aef4f0aa56f5d9bedd3f21f3ceacda470d6f8 Mon Sep 17 00:00:00 2001
From: Sam Reed <reedy@users.mediawiki.org>
Date: Wed, 23 Nov 2011 16:14:43 +0000
Subject: [PATCH] Kill $wgDBmysql4 from DefaultSettings.php, not used in phase3
 or any extensions in our SVN

Part of:
* (bug 32217) Drop MySQL 4 support
---
 includes/DefaultSettings.php | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 14b4e942d9..fd14eb402f 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -1315,9 +1315,6 @@ $wgDBAvgStatusPoll = 2000;
 
 /** Set to true if using InnoDB tables */
 $wgDBtransactions	= false;
-/** Set to true for compatibility with extensions that might be checking.
- * MySQL 3.23.x is no longer supported. */
-$wgDBmysql4			= true;
 
 /**
  * Set to true to engage MySQL 4.1/5.0 charset-related features;
-- 
2.20.1