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