I think we can use $wgDBName here