From 62362746d09c5ec1313ed8a2b1fc36a8688efb9f Mon Sep 17 00:00:00 2001
From: umherirrender <umherirrender_de.wp@web.de>
Date: Fri, 5 Oct 2012 22:39:31 +0200
Subject: [PATCH] Remove deprecated 1.16 Legacy support: Database ==
 DatabaseMysql

Change-Id: I8e7549e67aac072139923b7c4ea607563facf2e9
---
 includes/db/DatabaseMysql.php | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/includes/db/DatabaseMysql.php b/includes/db/DatabaseMysql.php
index 7f389da904..50ae993c8b 100644
--- a/includes/db/DatabaseMysql.php
+++ b/includes/db/DatabaseMysql.php
@@ -951,13 +951,6 @@ class DatabaseMysql extends DatabaseBase {
 
 }
 
-/**
- * Legacy support: Database == DatabaseMysql
- *
- * @deprecated in 1.16
- */
-class Database extends DatabaseMysql {}
-
 /**
  * Utility class.
  * @ingroup Database
-- 
2.20.1