diff options
| author | Tim Starling <tstarling@wikimedia.org> | 2013-05-08 16:48:56 +1000 |
|---|---|---|
| committer | Tim Starling <tstarling@wikimedia.org> | 2013-05-09 08:28:05 +1000 |
| commit | 1fe9340bb3e41a3f9308e0b18c8c7423db56ff8b (patch) | |
| tree | ebec1d5ad35f82be66a3939a30b45d71f003f222 /mw-config/index.php | |
| parent | 4a3dbad05c71afba252c8bf56bd4b74c9e12f1c2 (diff) | |
| download | mediawikicore-1fe9340bb3e41a3f9308e0b18c8c7423db56ff8b.tar.gz mediawikicore-1fe9340bb3e41a3f9308e0b18c8c7423db56ff8b.zip | |
Remove hphpc support and deprecate related functions
hphpc has been superseded by hhvm, so support for hphpc is no longer
needed.
* Continue to use Preprocessor_Hash under HipHop since it is still
faster under hhvm
* Keep $wgCompiledFiles for now, so that wikihiero doesn't give an error
before Ic9d1e795 is merged
* Migrate the run-server script and associated configuration file to
hhvm. Enable EnableStaticContentFromDisk since it doesn't seem
ridiculously inefficient at first glance. Run from $IP rather than
$IP/.. since hhvm is apparently not picky about sourcing files from
outside of the current directory.
Change-Id: Ic3e769f1fbad4f7ad26dd819406796fee48c6b45
Diffstat (limited to 'mw-config/index.php')
| -rw-r--r-- | mw-config/index.php | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/mw-config/index.php b/mw-config/index.php index 2823210acb63..270a8b26fefc 100644 --- a/mw-config/index.php +++ b/mw-config/index.php @@ -24,11 +24,7 @@ define( 'MW_CONFIG_CALLBACK', 'Installer::overrideConfig' ); define( 'MEDIAWIKI_INSTALL', true ); chdir( dirname( __DIR__ ) ); -if ( isset( $_SERVER['MW_COMPILED'] ) ) { - require ( 'core/includes/WebStart.php' ); -} else { - require( dirname( __DIR__ ) . '/includes/WebStart.php' ); -} +require( dirname( __DIR__ ) . '/includes/WebStart.php' ); wfInstallerMain(); |