[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Rename 'authmanager' log channel to 'authevents'
jenkins-bot has submitted this change and it was merged. Change subject: Rename 'authmanager' log channel to 'authevents' .. Rename 'authmanager' log channel to 'authevents' Also, move some events which did not belong there to
[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Rename 'authmanager' log channel to 'authevents'
Gergő Tisza has uploaded a new change for review. https://gerrit.wikimedia.org/r/303964 Change subject: Rename 'authmanager' log channel to 'authevents' .. Rename 'authmanager' log channel to 'authevents' Also, move some