[MediaWiki-commits] [Gerrit] mediawiki...AbuseFilter[master]: Make maintenance scripts use $this->requireExtension()
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()
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