Merge "Move construction of highlight divs to backend"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 27 Jun 2018 00:42:13 +0000 (00:42 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 27 Jun 2018 00:42:13 +0000 (00:42 +0000)
commit86775668774111a000795eeea4a168bf988d0d56
treeeb8f0ae06bfd613c98dbbcb234de7d20700f0374
parente45eecd74126a8051e89620c4d0264d71b52e5c9
parentb44400dad848cc6a94e2e26470869bc50128886c
Merge "Move construction of highlight divs to backend"