Merge "Revert "mediawiki.widgets: Add temporary workaround for upstream oojs-ui bug""
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 14 Oct 2015 02:39:47 +0000 (02:39 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 14 Oct 2015 02:39:47 +0000 (02:39 +0000)
commitbacc11eb30ddf01624d5448f432b96afdae67c28
treec1f1827d6d9a4db1f5c5ea243abaca9161b8a710
parentab7ea29346f39644623c2a3b8e2869997dcaf3f2
parentf66bfecefc6da4e67031188febc88b0ec2dfe21b
Merge "Revert "mediawiki.widgets: Add temporary workaround for upstream oojs-ui bug""