[MediaWiki-commits] [Gerrit] mediawiki...Echo[master]: Use “OOUI” as unified name for code comments
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 Gerrit-Reviewer: VolkerE Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] mediawiki...Echo[master]: Use “OOUI” as unified name for code comments
VolkerE has uploaded a new change for review. ( 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(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Echo refs/changes/30/404630/1 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: newchange Gerrit-Change-Id: Ib1daa160dd7597afe6a6ae22dc263ba7d297f757 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Echo Gerrit-Branch: master Gerrit-Owner: VolkerE ___ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
