HomePhabricator

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

Authored by jenkins-bot.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/Echo 20a380cd9c7c5ac4b2992f38f85896d22e02dd2b

Add a border between the popup head and notification list

Bug: T111432
Change-Id: Ic10edbafa96ab76416165237228f0f259bd9f5f7

Event Timeline

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