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

This commit no longer exists in the repository. It may have been part of a branch which was deleted.This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.


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

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)


jenkins-botAuthored on
Gerrit Code Review <gerrit@wikimedia.org>Committed on Sep 8 2015, 11:09 PM

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

Commit No Longer Exists

This commit no longer exists in the repository.