Merge "mediawiki.widgets: Add temporary workaround for upstream oojs-ui bug"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 28 Sep 2015 15:46:00 +0000 (15:46 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 28 Sep 2015 15:46:00 +0000 (15:46 +0000)
commit6c67ccee245313a619061952e865445dda584c64
tree9d74de8bca38490f966eeb9b676563651fe7aefe
parentae78d44091511a7f4f56a4a43c69b31e0188edba
parentca751872aac2be673d88fe9067472808c6500bb5
Merge "mediawiki.widgets: Add temporary workaround for upstream oojs-ui bug"