[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Rename 'authmanager' log channel to 'authevents'

2016-08-11 Thread jenkins-bot (Code Review)
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'

2016-08-09 Thread Code Review
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