dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
c0d9e6d
)
Shut up build script about not having LocalSettings. You dont actually need it for...
author
Chad Horohoe
<demon@users.mediawiki.org>
Thu, 1 Sep 2011 14:09:50 +0000
(14:09 +0000)
committer
Chad Horohoe
<demon@users.mediawiki.org>
Thu, 1 Sep 2011 14:09:50 +0000
(14:09 +0000)
maintenance/hiphop/make
patch
|
blob
|
history
diff --git
a/maintenance/hiphop/make
b/maintenance/hiphop/make
index
e792e08
..
2bb9951
100755
(executable)
--- 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;