DateTimeInputWidget: Rename vars to reflect latest WikimediaUI theme vars
authorVolker E <volker.e@wikimedia.org>
Wed, 19 Sep 2018 00:33:29 +0000 (17:33 -0700)
committerVolker E <volker.e@wikimedia.org>
Wed, 19 Sep 2018 00:33:29 +0000 (17:33 -0700)
commit587851c43f84f96604f4969e8d92358438378d07
tree2162b8eae115c3852eba0c0eb7704f9527879d8d
parent6df38a8d26681d5241e2f7808ee3ed69472bb329
DateTimeInputWidget: Rename vars to reflect latest WikimediaUI theme vars

Change-Id: Icdae37127633e7fb17f77550d4900addf076cbfd
resources/src/mediawiki.widgets.datetime/DateTimeInputWidget.less
resources/src/mediawiki.widgets.datetime/mediawiki.widgets.datetime.definitions.less