3
if (file_exists('/etc/mediawiki/LocalSettings.php')
4
&& file_exists('/etc/mediawiki/slaves.data'))
6
require('LocalSettings.php');
7
$dbservers = array( array('host'=>$wgDBserver,
10
'password'=>$wgDBpassword,
12
$arr = unserialize(file_get_contents('/etc/mediawiki/slaves.data'));
13
$total_dbservers = array_merge($dbservers, $arr);
14
$content = '<?php $wgDBservers = '.var_export($total_dbservers, TRUE);
16
$content = '<?php $wgDBservers = FALSE';
19
file_put_contents('/etc/mediawiki/dbservers.php', $content);