Merge "Move `$.extend( OO.ui, mw.widgets )` hack to 'mediawiki.widgets' module"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 8 Jul 2015 06:37:28 +0000 (06:37 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 8 Jul 2015 06:37:28 +0000 (06:37 +0000)
commit5fd0cca9afe9110f2d8d26714f5ecc05fbaf63b4
tree49ed1c54f0fc0593aef69799da5da6a8c15787a0
parent098cee210a5a4333690cb466481f5bf789670e8d
parent2eda3a93100b08e7c10be852af896a804b910c7e
Merge "Move `$.extend( OO.ui, mw.widgets )` hack to 'mediawiki.widgets' module"