Remove deprecated mediawiki.UI Less variables
authorVolker E <volker.e@wikimedia.org>
Mon, 9 Jan 2017 23:31:58 +0000 (15:31 -0800)
committerVolkerE <volker.e@wikimedia.org>
Fri, 13 Jan 2017 00:47:48 +0000 (00:47 +0000)
commit5aba304a6a3404675d8805630323b2aca5531fa9
tree6e5b1c364211e9ed7654364ab38c9fc4ac416de0
parent000a4ecf685d7ed9ef5ab4566287da8d40d7ec2b
Remove deprecated mediawiki.UI Less variables

Removing Less variables, which have been deprecated since MW 1.24, and
are not longer in use in any Wikimedia projects as of today.

Bug: T154950
Depends-on: I9bcd90ebbebbaece13e0cf9f36afd5964d49dc3b
Change-Id: Icbf146eb409b85a89c4dc4fb8b46eda4cf2d3193
resources/src/mediawiki.less/mediawiki.ui/variables.less