$wgDBmysql4