mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/LoginNotify
synced 2024-11-14 10:44:38 +00:00
f1610a37a1
Use the User object directly Bug: T325687 Change-Id: Id719e33f860204f912429631b50391edce8e56ec |
||
---|---|---|
.. | ||
loginAttempt.php | ||
migratePreferences.php |