From: Volker E <volker.e@wikimedia.org>
Date: Wed, 17 Oct 2018 00:42:05 +0000 (-0700)
Subject: Change to “LESS” as it's the official name (again)
X-Git-Tag: 1.34.0-rc.0~3753
X-Git-Url: http://git.cyclocoop.org/%28?a=commitdiff_plain;h=59dc7a4042ccc041ca4dfaea47d361593ed83479;p=lhc%2Fweb%2Fwiklou.git

Change to “LESS” as it's the official name (again)

Make it unified with comments below.

Change-Id: I05e7a4269ed88a497a0072c5838a99fd15167f5d
---

diff --git a/resources/src/mediawiki.less/mediawiki.mixins.less b/resources/src/mediawiki.less/mediawiki.mixins.less
index 55be237efe..7e7821ef68 100644
--- a/resources/src/mediawiki.less/mediawiki.mixins.less
+++ b/resources/src/mediawiki.less/mediawiki.mixins.less
@@ -1,4 +1,4 @@
-// Common Less mixin library for MediaWiki
+// Common LESS mixin library for MediaWiki
 //
 // By default the folder containing this file is included in the LESS import paths,
 // which makes this file importable by all less files via `@import 'mediawiki.mixins';`.