From f6d65e533c62f6deb21342d4901ece24497b433e Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 4 Jun 2015 07:31:04 +0200 Subject: Update to MediaWiki 1.25.1 --- includes/db/DatabaseMysql.php | 7 ------- 1 file changed, 7 deletions(-) (limited to 'includes/db/DatabaseMysql.php') diff --git a/includes/db/DatabaseMysql.php b/includes/db/DatabaseMysql.php index dc4a67df..823d9b67 100644 --- a/includes/db/DatabaseMysql.php +++ b/includes/db/DatabaseMysql.php @@ -142,13 +142,6 @@ class DatabaseMysql extends DatabaseMysqlBase { return mysql_select_db( $db, $this->mConn ); } - /** - * @return string - */ - function getServerVersion() { - return mysql_get_server_info( $this->mConn ); - } - protected function mysqlFreeResult( $res ) { return mysql_free_result( $res ); } -- cgit v1.2.2