trunk/phase3 is now mediawiki/core

Change-Id: Ief2721ee6573a5e54a276c91de636d9e1a678b8b

diff --git a/img_auth.php b/img_auth.php
index 3999bf3..82afef2 100644 (file)
--- a/img_auth.php
+++ b/img_auth.php
@@ -28,7 +28,7 @@
 
 define( 'MW_NO_OUTPUT_COMPRESSION', 1 );
 if ( isset( $_SERVER['MW_COMPILED'] ) ) {
-       require ( 'phase3/includes/WebStart.php' );
+       require ( 'core/includes/WebStart.php' );
 } else {
        require ( dirname( __FILE__ ) . '/includes/WebStart.php' );
 }

diff --git a/mw-config/index.php b/mw-config/index.php
index c65be69..edfae92 100644 (file)
--- a/mw-config/index.php
+++ b/mw-config/index.php
@@ -10,7 +10,7 @@ define( 'MEDIAWIKI_INSTALL', true );
 
 chdir( dirname( dirname( __FILE__ ) ) );
 if ( isset( $_SERVER['MW_COMPILED'] ) ) {
-       require ( 'phase3/includes/WebStart.php' );
+       require ( 'core/includes/WebStart.php' );
 } else {
        require( dirname( dirname( __FILE__ ) ) . '/includes/WebStart.php' );
 }

diff --git a/profileinfo.php b/profileinfo.php
index 03a6f0f..ef038c1 100644 (file)
--- a/profileinfo.php
+++ b/profileinfo.php
@@ -29,7 +29,7 @@ ini_set( 'zlib.output_compression', 'off' );
 
 $wgEnableProfileInfo = $wgProfileToDatabase = false;
 if ( isset( $_SERVER['MW_COMPILED'] ) ) {
-       require ( 'phase3/includes/WebStart.php' );
+       require ( 'core/includes/WebStart.php' );
 } else {
        require ( dirname( __FILE__ ) . '/includes/WebStart.php' );
 }

diff --git a/thumb.php b/thumb.php
index eb0d67d..6afc7e5 100644 (file)
--- a/thumb.php
+++ b/thumb.php
@@ -8,7 +8,7 @@
  */
 define( 'MW_NO_OUTPUT_COMPRESSION', 1 );
 if ( isset( $_SERVER['MW_COMPILED'] ) ) {
-       require( 'phase3/includes/WebStart.php' );
+       require( 'core/includes/WebStart.php' );
 } else {
        require( dirname( __FILE__ ) . '/includes/WebStart.php' );
 }