[MediaWiki-commits] [Gerrit] operations...cumin[master]: Logging: add a custom trace() logging level

2017-08-02 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/366735 ) Change subject: Logging: add a custom trace() logging level .. Logging: add a custom trace() logging level * Add an additional

[MediaWiki-commits] [Gerrit] operations...cumin[master]: Logging: add a custom trace() logging level

2017-07-20 Thread Volans (Code Review)
Volans has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/366735 ) Change subject: Logging: add a custom trace() logging level .. Logging: add a custom trace() logging level * Add an additional custom