Merge "ResourcesOOUI: Remove deprecated oojs-ui.styles module"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 19 May 2016 17:46:18 +0000 (17:46 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 19 May 2016 17:46:18 +0000 (17:46 +0000)
commit42a2824d45083d1de619d45833e7fcab0143e3be
tree232148783681c5743e13d4b00cf2a7d8366dbc76
parent7d36b9c49a65a4f66bd2f09d2f746f17978b23fa
parent0b4421b0660dbb591db8a3d52c441ca6f80abf1d
Merge "ResourcesOOUI: Remove deprecated oojs-ui.styles module"