HomePhabricator

ClippableElement: 7 is a better number than 10

Authored by matmarex.

Description

ClippableElement: 7 is a better number than 10

MediaWiki theme popups are bigger than OOUI theme popups, which means
they edge closer to the boundaries of parent elements, which means
that we need to decrease this value. I do not know why this is
implemented with a magic number, but 7 is so much better than 10
anyway.

Bug: T78178
Change-Id: Idc128df3a2db7732bbae5fd63337a44c0bd1a12c