From: Chad Horohoe <demon@users.mediawiki.org>
Date: Thu, 1 Sep 2011 14:09:50 +0000 (+0000)
Subject: Shut up build script about not having LocalSettings. You dont actually need it for... 
X-Git-Tag: 1.31.0-rc.0~27974
X-Git-Url: https://git.cyclocoop.org/%7B%24www_url%7Dadmin/compta/exercices/bilan.php?a=commitdiff_plain;h=6f2b1b5974a39cf5a5635668b5903f81daf2c350;p=lhc%2Fweb%2Fwiklou.git

Shut up build script about not having LocalSettings. You dont actually need it for this
---

diff --git a/maintenance/hiphop/make b/maintenance/hiphop/make
index e792e08b5c..2bb9951f19 100755
--- 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;