mediawiki.ui: Remove deprecated color variables
authorVolker E <volker.e@wikimedia.org>
Thu, 22 Nov 2018 00:57:29 +0000 (16:57 -0800)
committerVolker E <volker.e@wikimedia.org>
Thu, 22 Nov 2018 00:57:29 +0000 (16:57 -0800)
commit532384a00deb5a2fbd9639145ffe2edc284f15a3
treec7f0d8d4d714d48f97362fadbe687d5dec0c6c44
parentb6e4ea6756b80d26a10ae609116f93f56f18bb4e
mediawiki.ui: Remove deprecated color variables

They became deprecated in Iaef72470c59665. It's time to remove them.

Bug: T210118
Change-Id: Ibc761a2cdc8d04213d149851129cd51ee4661899
resources/src/mediawiki.less/mediawiki.ui/variables.less