mediawiki-extensions-Echo/modules
Isarra 4ab34ada4f Move Vector-specific top:-5px badge offset to Vector style file
Essentially: force the badges, when the personal menu is displayed
inline, to align correctly with the rest of the line instead of
hovering slightly above the line for no apparent reason.

This should fix nearly every other skin that doesn't already have
its own local fix, as 20px is already pretty well-centered with
normal-sized fonts when doing sane things with padding/margins/
line-heights. (Vector is not doing sane things with padding/
margins/line-heights in the personal menu, but hopefully forking
Vector went out of vogue ten years ago and people have quit doing
this by now, yes?)

This may also not be ideal for mobile skins. Breaks Timeless,
because I just completely gave up on trying to get this to behave
there and put it in its own little timeout box. Oops.

Change-Id: I73067bbc3c930ebf20aa492b53a4a5fe4259b607
2020-12-16 19:22:40 +00:00
..
api build: Update eslint-config-wikimedia to 0.16.1 2020-06-15 16:19:00 +01:00
controller Allow marking all as read from popout window 2019-12-03 20:08:35 +00:00
icons Add dynamic secondary action to mute/unmute page-linked notifications 2020-05-27 15:20:08 +02:00
logger Stop exporting wgWikiId, use wgWikiID from core 2019-09-25 18:14:40 +00:00
mobile Mobile Special:Notifications: Properly close overlay on selection 2020-07-30 15:31:01 -07:00
model build: Update eslint-config-wikimedia to 0.16.1 2020-06-15 16:19:00 +01:00
nojs Move Vector-specific top:-5px badge offset to Vector style file 2020-12-16 19:22:40 +00:00
special Merge "Add visible help link for Special:Notifications" 2019-04-09 15:32:14 +00:00
styles Remove padding from popup heading 2020-12-08 22:05:08 +00:00
ui Fix incorrect use of $.extend() 2020-10-03 18:30:30 +00:00
echo.mixins.less Use '.text-overflow()' mixin from 'mediawiki.mixins' 2020-04-23 18:16:01 -07:00
echo.variables.less Replace static border radius value with var 2020-04-15 18:09:48 -07:00
ext.echo.init.js Catch malformed URIs 2020-10-20 19:42:20 +00:00
ext.echo.moment-hack.js build: Update linters 2019-12-12 11:20:49 +00:00
hooks.txt (re)Add JavaScript hooks to Notifications 2016-10-14 17:25:25 -05:00
mw.echo.js ext.echo.dm: Remove unreachable lazy-creation code 2019-03-19 20:16:37 +00:00