wikimedia/mediawiki-extensions-LoginNotify
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/LoginNotify synced 2024-11-11 16:49:30 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-LoginN.../maintenance
History
Umherirrender f1610a37a1 Avoid use of deprecated User::idFromName 
Use the User object directly

Bug: T325687
Change-Id: Id719e33f860204f912429631b50391edce8e56ec
2022-12-21 22:34:26 +01:00
..
loginAttempt.php Avoid use of deprecated User::idFromName 2022-12-21 22:34:26 +01:00
migratePreferences.php Replace usages of deprecated wfWikiID() 2021-12-21 01:58:01 +00:00