| Index: trunk/phase3/maintenance/hiphop/make |
| — | — | @@ -1,9 +1,12 @@ |
| 2 | 2 | #!/usr/bin/hphpi -f |
| 3 | 3 | <?php |
| 4 | 4 | |
| | 5 | +define( 'MW_CONFIG_CALLBACK', 'MakeHipHop::noConfigNeeded' ); |
| 5 | 6 | require( dirname( __FILE__ ) . '/../Maintenance.php' ); |
| 6 | 7 | |
| 7 | 8 | class MakeHipHop extends Maintenance { |
| | 9 | + function noConfigNeeded() {} |
| | 10 | + |
| 8 | 11 | function execute() { |
| 9 | 12 | global $wgHipHopBuildDirectory; |
| 10 | 13 | |