function replacevars( $ins ) {
$varnames = array(
"wgDBserver", "wgDBname", "wgDBintlname", "wgDBuser",
"wgDBpassword", "wgDBsqluser", "wgDBsqlpassword",
function replacevars( $ins ) {
$varnames = array(
"wgDBserver", "wgDBname", "wgDBintlname", "wgDBuser",
"wgDBpassword", "wgDBsqluser", "wgDBsqlpassword",