$wgDBtype: Difference between revisions