mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/LoginNotify
synced 2024-12-01 01:56:26 +00:00
8d8e0e7da1
User::setOption() is deprecated and should be replaced with UserOptionsManager::setOption() Bug: T277818 Change-Id: Idd89847f2363645862b1d81488d7eb5727d8baab |
||
---|---|---|
.. | ||
loginAttempt.php | ||
migratePreferences.php |