$wgDBservers: Difference between revisions