diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2011-06-22 11:28:20 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2011-06-22 11:28:20 +0200 |
| commit | 9db190c7e736ec8d063187d4241b59feaf7dc2d1 (patch) | |
| tree | 46d1a0dee7febef5c2d57a9f7b972be16a163b3d /maintenance/gearman/gearmanWorker.php | |
| parent | 78677c7bbdcc9739f6c10c75935898a20e1acd9e (diff) | |
update to MediaWiki 1.17.0
Diffstat (limited to 'maintenance/gearman/gearmanWorker.php')
| -rw-r--r-- | maintenance/gearman/gearmanWorker.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/maintenance/gearman/gearmanWorker.php b/maintenance/gearman/gearmanWorker.php index d6f3949f..aea126a7 100644 --- a/maintenance/gearman/gearmanWorker.php +++ b/maintenance/gearman/gearmanWorker.php @@ -1,10 +1,10 @@ <?php $optionsWithArgs = array( 'fake-job', 'procs' ); -require( dirname(__FILE__).'/../commandLine.inc' ); -require( dirname(__FILE__).'/gearman.inc' ); +require( dirname( __FILE__ ) . '/../commandLine.inc' ); +require( dirname( __FILE__ ) . '/gearman.inc' ); -ini_set('memory_limit', '150M' ); +ini_set( 'memory_limit', '150M' ); if ( isset( $options['procs'] ) ) { $procs = $options['procs']; |