wikimedia/mediawiki-extensions-OATHAuth
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/OATHAuth synced 2024-11-24 00:05:24 +00:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse source 
Bug: T152139
Change-Id: I5d8979c297db95beec4c5df439beaa2b58f266cf
This commit is contained in:
Justin Du 2016-12-01 15:17:33 -06:00
parent e67a635e5c
commit ddd8d93867
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
maintenance/update_scratch_token_format.php
View file

@ -38,6 +38,7 @@ class UpdateScratchTokenFormat extends Maintenance {
function __construct() {
parent::__construct();
$this->mDescription = 'Script to update scratch_token column format';
$this->requireExtension( 'OATHAuth' );
}
public function execute() {