[MediaWiki-commits] [Gerrit] mediawiki...UrlShortener[master]: Update Maintenance scripts to use $this->requireExtension()

2016-12-01 Thread MtDu (Code Review)
MtDu has uploaded a new change for review. https://gerrit.wikimedia.org/r/324802 Change subject: Update Maintenance scripts to use $this->requireExtension() .. Update Maintenance scripts to use $this->requireExtension() Bug:

[MediaWiki-commits] [Gerrit] mediawiki...UrlShortener[master]: Update Maintenance scripts to use $this->requireExtension()

2016-12-01 Thread jenkins-bot (Code Review)
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: