jenkins-bot has submitted this change and it was merged. Change subject: Update Maintenance scripts to use $this->requireExtension() ......................................................................
Update Maintenance scripts to use $this->requireExtension() Bug: T152139 Change-Id: I763202e2db3eff4146be4cac56229392140830ce --- M maintenance/dumpURLs.php 1 file changed, 1 insertion(+), 0 deletions(-) Approvals: Legoktm: Looks good to me, approved jenkins-bot: Verified diff --git a/maintenance/dumpURLs.php b/maintenance/dumpURLs.php index 7ebee66..6e3a3df 100644 --- a/maintenance/dumpURLs.php +++ b/maintenance/dumpURLs.php @@ -17,6 +17,7 @@ $this->mDescription = 'Create a pipe-separated dump of all the short URL codes and their targets'; $this->addArg( 'file', 'Location to save the dump', true ); $this->setBatchSize( 1000 ); + $this->requireExtension( 'UrlShortener' ); } public function execute() { -- To view, visit https://gerrit.wikimedia.org/r/324802 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I763202e2db3eff4146be4cac56229392140830ce Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/UrlShortener Gerrit-Branch: master Gerrit-Owner: MtDu <justin.d...@gmail.com> Gerrit-Reviewer: Legoktm <lego...@member.fsf.org> Gerrit-Reviewer: Reedy <re...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits