Remove support for PHP extension 'mysql' (not mysqli!)
authorSeb35 <seb35@seb35.fr>
Tue, 16 Jan 2018 19:02:11 +0000 (20:02 +0100)
committerJames D. Forrester <jforrester@wikimedia.org>
Wed, 17 Jan 2018 18:48:47 +0000 (10:48 -0800)
commit0ff2b7a77685b4f79239e0cd942a9660e98aa7ce
tree1fe2494da292734105c33d0265ef1aebf5f8df74
parentabcd62f59c21fe5d720cb43a11f152bc622a4936
Remove support for PHP extension 'mysql' (not mysqli!)

This PHP extension was deprecated in PHP 5.5 and removed in PHP 7.0.
The newer MySQL driver 'mysqli' is the default driver since MediaWiki
1.22 and 'mysql' was deprecated in MediaWiki 1.30.

Bug: T120333
Change-Id: Icff7a63ab47ae1483de87ba6486945974699362b
RELEASE-NOTES-1.31
autoload.php
includes/DefaultSettings.php
includes/installer/MysqlInstaller.php
includes/libs/rdbms/database/Database.php
includes/libs/rdbms/database/DatabaseMysql.php [deleted file]
tests/phpunit/includes/libs/rdbms/database/DatabaseMysqlBaseTest.php