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

Authored by jenkins-bot.
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 rECHO77d477872b59

Override padding for links in personal tools in Modern skin

The flyout is now part of the personal tools, so Modern's styling of
#p-personal li a now affects it. Override that for links in the flyout
so it doesn't look super silly.

Bug: T111825
Change-Id: Ie67ff2d7803362bd7214bade27383282620799b9
(cherry picked from commit 5c49d1482b42705defad3f7a0c2544ff68bc5bbc)

Event Timeline

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

Commit No Longer Exists

This commit no longer exists in the repository.