<?php
// Define this so scripts can easily find doMaintenance.php
define( 'DO_MAINTENANCE', dirname( __FILE__ ) . '/doMaintenance.php' );
+$maintClass = false;
// Make sure we're on PHP5 or better
if( version_compare( PHP_VERSION, '5.0.0' ) < 0 ) {
* @ingroup Maintenance
*/
+if ( !defined( 'DO_MAINTENANCE' ) ) {
+ echo "This file must be included after Maintenance.php\n";
+ exit( 1 );
+}
+
error_reporting( E_ALL | E_STRICT );
-if( !isset( $maintClass ) || !class_exists( $maintClass ) ) {
+if( !$maintClass || !class_exists( $maintClass ) ) {
echo "\$maintClass is not set or is set to a non-existent class.";
- die();
+ exit( 1 );
}
if( defined( 'MW_NO_SETUP' ) ) {
# Maybe a hook?
global $cluster;
$wgWikiFarm = true;
- $cluster = 'pmtma';
+ $cluster = 'pmtpa';
require_once( "$IP/includes/AutoLoader.php" );
require_once( "$IP/includes/SiteConfiguration.php" );
require( "$IP/wgConf.php" );