jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/404630 )
Change subject: Use “OOUI” as unified name for code comments
......................................................................
Use “OOUI” as unified name for code comments
Bug: T182360
Change-Id: Ib1daa160dd7597afe6a6ae22dc263ba7d297f757
---
M modules/styles/mw.echo.ui.MenuItemWidget.less
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
jenkins-bot: Verified
VolkerE: Looks good to me, approved
diff --git a/modules/styles/mw.echo.ui.MenuItemWidget.less
b/modules/styles/mw.echo.ui.MenuItemWidget.less
index 799f8a3..33b39a7 100644
--- a/modules/styles/mw.echo.ui.MenuItemWidget.less
+++ b/modules/styles/mw.echo.ui.MenuItemWidget.less
@@ -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;
--
To view, visit https://gerrit.wikimedia.org/r/404630
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib1daa160dd7597afe6a6ae22dc263ba7d297f757
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Echo
Gerrit-Branch: master
Gerrit-Owner: VolkerE <[email protected]>
Gerrit-Reviewer: VolkerE <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
