I had a person come into MediaWiki-General and say they got this warning:
Deprecated: mysql_query(): The mysql extension is deprecated and will be removed in the future: use mysqli or PDO instead in /var/www/mediawiki-1.22.7/extensions/mat_ext/exportcsv.php on line 35
Turns out, the mysql extension for php is in fact being deprecated.
http://php.net/manual/en/changelog.mysql.php
It may be time to determine whether we want to use PDO or mysqli instead, or if we want to support both, or what.
Version: unspecified
Severity: normal