Merge "OOjs UI: Backport I73f95965694ec7fb0fa9a474742286e1105e5c85"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 5 Dec 2016 16:45:21 +0000 (16:45 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 5 Dec 2016 16:45:21 +0000 (16:45 +0000)

Trivial merge