[MediaWiki-commits] [Gerrit] mediawiki...AbuseFilter[master]: Make maintenance scripts use $this->requireExtension()

2016-12-12 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/326723 ) Change subject: Make maintenance scripts use $this->requireExtension() .. Make maintenance scripts use $this->requireExtension()

[MediaWiki-commits] [Gerrit] mediawiki...AbuseFilter[master]: Make maintenance scripts use $this->requireExtension()

2016-12-12 Thread Pppery (Code Review)
Pppery has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/326723 ) Change subject: Make maintenance scripts use $this->requireExtension() .. Make maintenance scripts use $this->requireExtension() Bug: T15213