HomePhabricator

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

Authored by jenkins-bot.

Description

Updated mediawiki/core Project: mediawiki/extensions/Echo 8fc781b3816ffd07a9164910a70a203231d1c098

Add a tooltip to the notification badges

Since the nojs "base" version uses the automatic title creation
of the personal tools, the message keys were adjusted accordingly,
and the old unified message was removed.

Bug: T108190
Change-Id: I1f242f530aa68562aa4dc885156586c22c4df618
(cherry picked from commit 73e3ed37178307c77d62fce4135f057abc8feb2d)

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMWdae365364d50: Updated mediawiki/core Project: mediawiki/extensions/Echo… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Sep 8 2015, 11:09 PM