[MediaWiki-commits] [Gerrit] wikimedia...vendor[master]: Remove Stomp, update other libraries

2017-01-25 Thread Ejegg (Code Review)
Ejegg has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/333829 ) Change subject: Remove Stomp, update other libraries .. Remove Stomp, update other libraries (also snip the traits out of Psr\log to

[MediaWiki-commits] [Gerrit] wikimedia...vendor[master]: Remove Stomp, update other libraries

2017-01-23 Thread Ejegg (Code Review)
Ejegg has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/333829 ) Change subject: Remove Stomp, update other libraries .. Remove Stomp, update other libraries Change-Id: I22cca38819c8f608e113ca378a9e56d99638