mediawiki/files/init_wiki.php

<?
$wiki_root = $argv[1];
$mw_root = '/usr/share/mediawiki';

// DefaultSettings.php complain if not defined
define('MEDIAWIKI',1);

require_once("$mw_root/includes/Defines.php");
require_once("$mw_root/includes/AutoLoader.php");
require_once("$mw_root/includes/GlobalFunctions.php");
include("$wiki_root/LocalSettings.php");

$dbclass = 'Database'.ucfirst($wgDBtype);
$dbc = new $dbclass;

$wgDatabase = $dbc->newFromParams($wgDBserver,
                                  $wgDBuser,
                                  $wgDBpassword, $wgDBname, 1);

$wgDatabase->initial_setup($wgDBpassword, $wgDBname);
$wgDatabase->setup_database();

rmdir("$wiki_root/config");
?>
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	rmdir("$wiki_root/config");
24	?>