wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-23 22:13:34 +00:00
Code Issues Packages Projects Releases Wiki Activity

Maintenance script: Update header

Browse source 
This is a much simpler pattern and more consistent
with other extensions.

Change-Id: Ia8b31ff0573287325eeb5a878a1eb36bbf6374af
This commit is contained in:
Timo Tijhof 2013-02-26 16:06:16 +01:00
parent 86d1f2a35b
commit 3d3972e972
1 changed files with 4 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
maintenance/makeStaticLoader.php
View file

@ -1,12 +1,9 @@
<?php
$path = __DIR__ . '/../../..';
if ( getenv( 'MW_INSTALL_PATH' ) !== false ) {
$path = getenv( 'MW_INSTALL_PATH' );
$IP = getenv( 'MW_INSTALL_PATH' );
if ( $IP === false ) {
$IP = __DIR__ . '/../../..';
}
require_once( $path . '/maintenance/Maintenance.php' );
require_once( $IP . '/maintenance/Maintenance.php' );
class MakeStaticLoader extends Maintenance {