IvanFon has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/327902 )
Change subject: Updated VisualEditor maintenance scripts to use
$this->requireExtension()
......................................................................
Updated VisualEditor maintenance scripts to use $this->requireExtension()
Added $this->requireExtension() in autodisablePref.php
Bug: T152139
Change-Id: I561322ccbfb900ed06f79cca382662e1483fea4f
---
M autodisablePref.php
1 file changed, 1 insertion(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/VisualEditor
refs/changes/02/327902/1
diff --git a/autodisablePref.php b/autodisablePref.php
index d96e9f2..24229b9 100644
--- a/autodisablePref.php
+++ b/autodisablePref.php
@@ -17,6 +17,7 @@
class VEAutodisablePref extends Maintenance {
public function __construct() {
parent::__construct();
+ $this->requireExtension('VisualEditor');
$this->mDescription = "Sets the VisualEditor autodisable
preference on appropriate users.";
$this->setBatchSize( 500 );
}
--
To view, visit https://gerrit.wikimedia.org/r/327902
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I561322ccbfb900ed06f79cca382662e1483fea4f
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: IvanFon <ivanfonsec...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
