Thread:Project:Support desk/Is $wgDBmysql5 a superfluous option nowadays?