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	misc	1749	<?
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			?>