wikimedia/mediawiki-extensions-PageImages
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/PageImages synced 2024-11-14 11:24:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update maintenance scripts to use $this->requireExtension

Browse source 
Bug: T152139
Change-Id: I1ce646506f66096387f3970dd4017b1d06841ec2
This commit is contained in:
zoranzoki21 2018-01-28 15:37:24 +01:00 committed by Jayprakash12345
parent 342c969bb4
commit 125ec14718
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
maintenance/initImageData.php
View file

@ -25,6 +25,8 @@ class InitImageData extends Maintenance {
'If not provided or 0 will be run in-process.', false, true );
$this->addOption( 'quiet', "Don't report on job queue pressure" );
$this->setBatchSize( 100 );
$this->requireExtension( 'PageImages' );
}
/**