$wgDBmysql4: Difference between revisions