wikimedia/mediawiki-extensions-LoginNotify
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/LoginNotify synced 2024-11-24 06:54:08 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-LoginN.../maintenance
History
ZabeMath 8d8e0e7da1 Avoid using User::setOption() 
User::setOption() is deprecated and should be replaced with UserOptionsManager::setOption()

Bug: T277818
Change-Id: Idd89847f2363645862b1d81488d7eb5727d8baab
2021-04-02 21:06:06 +02:00
..
loginAttempt.php build: Updating mediawiki/mediawiki-codesniffer to 29.0.0 2020-01-14 07:37:43 +00:00
migratePreferences.php Avoid using User::setOption() 2021-04-02 21:06:06 +02:00