$wgDBmysql5: Difference between revisions