jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/404632 )
Change subject: Use “OOUI” as unified name for code comments ...................................................................... Use “OOUI” as unified name for code comments Bug: T182360 Change-Id: I25f9e1ca04f9e95d6b9e77d7afa858d1f971cc5a --- M mobile.less/mobile.variables.less 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: jenkins-bot: Verified VolkerE: Looks good to me, approved diff --git a/mobile.less/mobile.variables.less b/mobile.less/mobile.variables.less index 5a2a73e..6deba2f 100644 --- a/mobile.less/mobile.variables.less +++ b/mobile.less/mobile.variables.less @@ -8,7 +8,7 @@ @fontFamily: 'Helvetica Neue', 'Helvetica', 'Nimbus Sans L', 'Arial', 'Liberation Sans', sans-serif; -// OOJs specific icon variables +// OOUI specific icon variables @baseIconSize: 24px; @targetIconSize: 32px; @indicatorFontSize: 0.4em; -- To view, visit https://gerrit.wikimedia.org/r/404632 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I25f9e1ca04f9e95d6b9e77d7afa858d1f971cc5a Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/MobileFrontend Gerrit-Branch: master Gerrit-Owner: VolkerE <volke...@wikimedia.org> Gerrit-Reviewer: Pmiazga <pmia...@wikimedia.org> Gerrit-Reviewer: VolkerE <volke...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
