diff options
Diffstat (limited to 'maintenance/hiphop/make')
| -rw-r--r-- | maintenance/hiphop/make | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/maintenance/hiphop/make b/maintenance/hiphop/make index e792e08b..2bb9951f 100644 --- a/maintenance/hiphop/make +++ b/maintenance/hiphop/make @@ -1,9 +1,12 @@ #!/usr/bin/hphpi -f <?php +define( 'MW_CONFIG_CALLBACK', 'MakeHipHop::noConfigNeeded' ); require( dirname( __FILE__ ) . '/../Maintenance.php' ); class MakeHipHop extends Maintenance { + function noConfigNeeded() {} + function execute() { global $wgHipHopBuildDirectory; |