HomePhabricator

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.

Description

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

Use #pt-notifications-alert to get Special:Notifications link

Users who have never received a message will not have a messages badge.

Bug: T111783
Change-Id: I5e2b9834f4bc2f30948d1799215e29b16cb64c3e
(cherry picked from commit aae891d8399dc8fa1d34d3f185de36ab69fcd74a)

Details

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

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMW441719e5d36b: 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.