Hi Everyone,
We just finished a MediaWiki 1.30 migration. The iron is CentOS 7 x86_64 VM with PHP 7.8.1 and MariaDB 5.5.56.
According to https://www.mediawiki.org/wiki/Manual:$wgDBmysql5 it looks like we no longer need wgDBmysql5 in LocalSettings.php.
Do we still need wgDBmysql5?
Jeff