Merge "DateTimeInputWidget: Rename vars to reflect latest WikimediaUI theme vars"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 19 Sep 2018 17:10:17 +0000 (17:10 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 19 Sep 2018 17:10:17 +0000 (17:10 +0000)
commit56230b89115ca8b8a048d41eac8b069062b44d1f
tree52f564b7644bf59df109d48fc97affba140766c9
parente44151068e57f84a345d3a3e39f37c6c56a86f95
parent587851c43f84f96604f4969e8d92358438378d07
Merge "DateTimeInputWidget: Rename vars to reflect latest WikimediaUI theme vars"