HomePhabricator

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

Authored by jenkins-bot.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/Echo 582017e82fb5990eeff3dfecb0a74a564212045d

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

Event Timeline

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