1 |
<? |
2 |
$wiki_root = $argv[1]; |
3 |
$mw_root = '/usr/share/mediawiki'; |
4 |
|
5 |
// DefaultSettings.php complain if not defined |
6 |
define('MEDIAWIKI',1); |
7 |
|
8 |
require_once("$mw_root/includes/Defines.php"); |
9 |
require_once("$mw_root/includes/AutoLoader.php"); |
10 |
require_once("$mw_root/includes/GlobalFunctions.php"); |
11 |
include("$wiki_root/LocalSettings.php"); |
12 |
|
13 |
$dbclass = 'Database'.ucfirst($wgDBtype); |
14 |
$dbc = new $dbclass; |
15 |
|
16 |
$wgDatabase = $dbc->newFromParams($wgDBserver, |
17 |
$wgDBuser, |
18 |
$wgDBpassword, $wgDBname, 1); |
19 |
|
20 |
$wgDatabase->initial_setup($wgDBpassword, $wgDBname); |
21 |
$wgDatabase->setup_database(); |
22 |
|
23 |
$dir = "$wiki_root/config"; |
24 |
foreach (scandir($dir) as $item) { |
25 |
if (!is_dir($item) || is_link($item)) |
26 |
unlink($item); |
27 |
} |
28 |
rmdir("$dir"); |
29 |
?> |