wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-23 18:30:06 +00:00
Code Issues Packages Projects Releases Wiki Activity
7019 commits 154 branches 0 tags 71 MiB
Commit graph

3 commits

Author SHA1 Message Date
Ed Sanders 6492fc380d Fix width of buttons-as-option-widgets 
Change-Id: I7001815850a829a07c941e94548ea5a65d2fd1d5
 2020-07-28 09:51:20 +00:00
Ed Sanders 769d6579f9 Make MenuItemWidgets inherit from ButtonOptionWidgets 
This gives them a consistent appearance with the expand/collapse
button. Only requires a small visual tweak to work in the popup
menu.

Bug: T258701
Bug: T258703
Change-Id: Ib3d074d1117e08d11136791354184e2e4b655290
 2020-07-23 18:19:32 +01:00
Roan Kattouw b9b1363ca6 Make dotdotdot menu not be extremely wide 
Work around new styles introduced in oojs-ui in I77cd5212c.

Bonus: remove useless styles targeting the dotdotdot popup
in NotificationItemWidget.less: it's not even a popupWidget
any more and it's located in an overlay anyway, so these
styles didn't do anything.

Change-Id: Ifb16b7bb0b01c1eb2551ba4c173042cc759e9b02
 2016-08-19 14:48:29 -07:00