wikimedia/mediawiki-extensions-OATHAuth
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/OATHAuth synced 2024-11-13 18:16:56 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-OATHAuth/maintenance
History
Justin Du ddd8d93867 Update Maintenance scripts to use $this->requireExtension() 
Bug: T152139
Change-Id: I5d8979c297db95beec4c5df439beaa2b58f266cf
2016-12-01 15:19:13 -06:00
..
update_scratch_token_format.php Update Maintenance scripts to use $this->requireExtension() 2016-12-01 15:19:13 -06:00