[MediaWiki-commits] [Gerrit] mediawiki...Echo[master]: Fire 'ext.echo.badge.countChange' after DOM changes

2017-03-31 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/345779 ) Change subject: Fire 'ext.echo.badge.countChange' after DOM changes .. Fire 'ext.echo.badge.countChange' after DOM changes The

[MediaWiki-commits] [Gerrit] mediawiki...Echo[master]: Fire 'ext.echo.badge.countChange' after DOM changes

2017-03-30 Thread Mooeypoo (Code Review)
Mooeypoo has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/345779 ) Change subject: Fire 'ext.echo.badge.countChange' after DOM changes .. Fire 'ext.echo.badge.countChange' after DOM changes The event