summaryrefslogtreecommitdiff
path: root/maintenance/hiphop/make
diff options
context:
space:
mode:
Diffstat (limited to 'maintenance/hiphop/make')
-rw-r--r--maintenance/hiphop/make3
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;