Change to “LESS” as it's the official name (again)
authorVolker E <volker.e@wikimedia.org>
Wed, 17 Oct 2018 00:42:05 +0000 (17:42 -0700)
committerVolker E <volker.e@wikimedia.org>
Wed, 17 Oct 2018 00:42:05 +0000 (17:42 -0700)
commit59dc7a4042ccc041ca4dfaea47d361593ed83479
treeba21a640799779bcd57aa9e1e55c219772781e3b
parenta1bbdcb62913b22f28838e647a15fe5e070d6e92
Change to “LESS” as it's the official name (again)

Make it unified with comments below.

Change-Id: I05e7a4269ed88a497a0072c5838a99fd15167f5d
resources/src/mediawiki.less/mediawiki.mixins.less