$wgDBprefix: Difference between revisions