HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/Echo…

Authored by jenkins-bot.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/Echo 6e142da08ea3a124953c69229a8a3c1b7fd2b06b

Align notification badge higher on the personal navigation bar

Bug: T108190
Change-Id: Id25213689c2ec9a6031bd120020c0b5ebde6e14f

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXTcf99de6106b6: Updated mediawiki/extensions Project: mediawiki/extensions/Echo… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Sep 8 2015, 3:40 AM