Since we're about to drastically raise our PHP version requirements, we end up in the area where the old `mysql` extension used by DatabaseMysql is deprecated in favor of `mysqli`. After that, it is completely removed in PHP7 and HHVM. I therefore propose to first deprecate then remove the support for it.
[[https://secure.php.net/manual/en/book.mysql.php|Official documentation for PHP extension 'mysql']]
Deprecated in MW 1.30 - to be decided if removed in MW 1.31 or later.
Extensions using DatabaseMysql (see [[https://codesearch.wmflabs.org/search/?q=DatabaseMysql|CodeSearch]]):
[x] ContributionReporting (in code)
** Abandoned and unused, the old code haven't working even before that. No point in wasting time on this.
[ ] OdbcDatabase (in code)
[ ] Wikibase (in tests)
[ ] Echo (in tests)
[ ] Flow (in tests)
[ ] EducationProgram (in tests)
[ ] SemanticExtraSpecialProperties (in tests)
[x] MathSearch (in comments for type hinting)