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