jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/326822 )

Change subject: Make maintainance scripts use `$this->requireExtension()`
......................................................................


Make maintainance scripts use `$this->requireExtension()`

Bug: T152139
Change-Id: Ibcf74ebb02616c977c4c0b6e3b5c1a241eb15844
---
M maintenance/BatchAntiSpoofClass.php
M maintenance/generateEquivset.php
2 files changed, 12 insertions(+), 0 deletions(-)

Approvals:
  Reedy: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/maintenance/BatchAntiSpoofClass.php 
b/maintenance/BatchAntiSpoofClass.php
index 6c611c6..8999a06 100644
--- a/maintenance/BatchAntiSpoofClass.php
+++ b/maintenance/BatchAntiSpoofClass.php
@@ -11,6 +11,12 @@
  */
 class BatchAntiSpoof extends Maintenance {
 
+       public function __construct() {
+               parent::__construct();
+
+               $this->requireExtension('AntiSpoof');
+       }
+
        /**
         * @param $items array
         */
diff --git a/maintenance/generateEquivset.php b/maintenance/generateEquivset.php
index db40e43..e03d7ae 100644
--- a/maintenance/generateEquivset.php
+++ b/maintenance/generateEquivset.php
@@ -7,6 +7,12 @@
 require_once( "$IP/maintenance/Maintenance.php" );
 
 class GenerateEquivset extends Maintenance {
+       public function __construct() {
+               parent::__construct();
+
+               $this->requireExtension('AntiSpoof');
+       }
+
        public function execute() {
                $dir = __DIR__;
 

-- 
To view, visit https://gerrit.wikimedia.org/r/326822
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ibcf74ebb02616c977c4c0b6e3b5c1a241eb15844
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/AntiSpoof
Gerrit-Branch: master
Gerrit-Owner: Pppery <maprea...@olum.org>
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

Reply via email to