mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-27 17:20:40 +00:00
a5d35141f4
This issue was introduced in patch I41ad96b (T190397). The head element is set to 44px height. However, the box-sizing is set to border-box, which means these 44px include the 1px border at the bottom. This leaves only 43px inside the head. The label is meant to fit in there. Since the previous 44px don't fit, there was always a scrollbar. This could as well be fixed by changing the head to 45px. However, this would make it different from the footer. I believe both should have the same size for consistency. Bug: T190397 Change-Id: Id0946d872a99fb8a1fbb33e6365fd78cd22eddd3 |
||
---|---|---|
.. | ||
api | ||
controller | ||
icons | ||
logger | ||
mobile | ||
model | ||
nojs | ||
special | ||
styles | ||
ui | ||
echo.mixins.less | ||
echo.variables.less | ||
ext.echo.init.js | ||
ext.echo.moment-hack.js | ||
hooks.txt | ||
mw.echo.js |