HomePhabricator

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

Authored by jenkins-bot.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/Echo 1b590d4308660a9c227e8deab5e901b5decb0ba7

Show a default message if no notifications are available

Bug: T112251
Change-Id: Ia17c50a11ea0a49041795332ba79bd3cbda5b548

Event Timeline

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