wikimedia/mediawiki-extensions-OATHAuth
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/OATHAuth synced 2024-11-30 19:14:31 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-OATHAuth/maintenance
History
Umherirrender 712fe51fd5 Use Maintenance::addDescription 
It is better to use a setter function than setting a property

Change-Id: Iea7f9ca69a3435e77101e05c60c3fb1ca6fe0501
2019-08-19 20:00:48 +02:00
..
disableOATHAuthForUser.php Use Maintenance::addDescription 2019-08-19 20:00:48 +02:00
updateDatabaseValueFormat.php Use Maintenance::addDescription 2019-08-19 20:00:48 +02:00
updateScratchTokenFormat.php Use Maintenance::addDescription 2019-08-19 20:00:48 +02:00
updateTOTPToMultipleKeys.php Use Maintenance::addDescription 2019-08-19 20:00:48 +02:00