jenkins-bot has submitted this change and it was merged. Change subject: Hygiene: Remove LESS comment ......................................................................
Hygiene: Remove LESS comment No longer needed now we don't manually generate CSS Change-Id: Ie3be0f303f435f19a9a3c3a1012057ffa46d7fbd --- M less/variables.less 1 file changed, 0 insertions(+), 11 deletions(-) Approvals: JGonera: Looks good to me, approved jenkins-bot: Verified diff --git a/less/variables.less b/less/variables.less index 3f4bb69..c5073f7 100644 --- a/less/variables.less +++ b/less/variables.less @@ -47,14 +47,3 @@ // calculated colors @searchBoxColorTo: darken( @searchBoxColor, 2.75% ); - -// Note since this file is automatically included in all pages -// it is a handy way to avoid the situation where developers unfamiliar with our codebase -// edit the css file rather than the less file. -/** - * DO NOT EDIT THIS FILE - * This is an automatically generated css file. - * It was generated by LESS (http://lesscss.org). - * Please edit the corresponding less file instead. - * See README.mediawiki for details on installing. - */ -- To view, visit https://gerrit.wikimedia.org/r/91317 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ie3be0f303f435f19a9a3c3a1012057ffa46d7fbd Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/MobileFrontend Gerrit-Branch: master Gerrit-Owner: Jdlrobson <[email protected]> Gerrit-Reviewer: JGonera <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
