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 rECHOb0fe60d42f20

Reduce distance between notification badges

Notification badges are conceptually closer together than the rest of toolbar elements.
So it makes sense to move them closer visually too.

This is just a small CSS adjustment to compensate for the default margin
that items in the menu get. If there is a cleanner way to achieve the same,
feel free to refactor.

Bug: T108190
Change-Id: I06403f67c24f045c125c505dca2101f9eed79594
(cherry picked from commit b6712be9a3948b7a7922641d9f2cf5363b8511de)

Details

Provenance
jenkins-botAuthored on
Gerrit Code Review <gerrit@wikimedia.org>Committed on Sep 11 2015, 4:14 PM
ChangeId
I06403f67c24f045c125c505dca2101f9eed79594

Event Timeline

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

Commit No Longer Exists

This commit no longer exists in the repository.