DateTimeInputWidget: Fix disabled `border-color`
authorVolker E <volker.e@wikimedia.org>
Mon, 4 Jun 2018 23:12:01 +0000 (01:12 +0200)
committerVolker E <volker.e@wikimedia.org>
Mon, 4 Jun 2018 23:12:01 +0000 (01:12 +0200)
commit4c71c37633304f9d83736c6d9cd2129a6cfa352a
treeb9abd794c40d65ad7c93f1875a30e323f3086b54
parent7759b85acc19808621abb592a58c072ee9cfeab7
DateTimeInputWidget: Fix disabled `border-color`

Fixing disabled `border-color`, which was set to a too dark tone.

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