$wgDBname: Difference between revisions