jenkins-bot has submitted this change and it was merged.

Change subject: Update Maintenance scripts to use $this->requireExtension()
......................................................................


Update Maintenance scripts to use $this->requireExtension()

Bug: T152139
Change-Id: I5d8979c297db95beec4c5df439beaa2b58f266cf
---
M maintenance/update_scratch_token_format.php
1 file changed, 1 insertion(+), 0 deletions(-)

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



diff --git a/maintenance/update_scratch_token_format.php 
b/maintenance/update_scratch_token_format.php
index 82f79f9..c0274c9 100644
--- a/maintenance/update_scratch_token_format.php
+++ b/maintenance/update_scratch_token_format.php
@@ -38,6 +38,7 @@
        function __construct() {
                parent::__construct();
                $this->mDescription = 'Script to update scratch_token column 
format';
+               $this->requireExtension( 'OATHAuth' );
        }
 
        public function execute() {

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I5d8979c297db95beec4c5df439beaa2b58f266cf
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/OATHAuth
Gerrit-Branch: master
Gerrit-Owner: MtDu <justin.d...@gmail.com>
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