From 6f2b1b5974a39cf5a5635668b5903f81daf2c350 Mon Sep 17 00:00:00 2001
From: Chad Horohoe <demon@users.mediawiki.org>
Date: Thu, 1 Sep 2011 14:09:50 +0000
Subject: [PATCH] Shut up build script about not having LocalSettings. You dont
 actually need it for this

---
 maintenance/hiphop/make | 3 +++
 1 file changed, 3 insertions(+)

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;
 
-- 
2.20.1