mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-09-24 18:59:40 +00:00
c9cff5c600
The badge is always close to the top of the window (if it's visible), so this is not necessary. Also, this behavior is definitely not desired for the upcoming fixed header beta feature (the badge will always be visible as a part of the fixed header). Change-Id: I66e8a50b1139f7bcd005cfb3c3576578efe6a653 |
||
---|---|---|
.. | ||
alert | ||
badge | ||
base | ||
desktop | ||
icons | ||
oldicons | ||
overlay | ||
special | ||
hooks.txt |