wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-24 07:54:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use “OOUI” as unified name for code comments

Browse source 
Bug: T182360
Change-Id: Ib1daa160dd7597afe6a6ae22dc263ba7d297f757
This commit is contained in:
Volker E 2018-01-16 23:30:18 -08:00
parent 9c4eea0e79
commit 4bb614b5fd
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/styles/mw.echo.ui.MenuItemWidget.less
View file

@ -19,7 +19,7 @@
display: inline-block;
margin-left: 1.5em + 0.5em; // Icon width + 0.5em spacing
// We have to override oojs-ui's color, which uses
// We have to override OOUI's color, which uses
// a very specific selector
font-weight: normal !important;
color: @color-base !important;