Merge "Add missing dependency to mediawiki.widgets"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 3 Jul 2015 12:55:08 +0000 (12:55 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 3 Jul 2015 12:55:08 +0000 (12:55 +0000)
commit519072349130ab0d94d5d01c6732cb8b61d03072
tree6e254a0bfab900b74c2d2f670048ceacefa1361c
parent59793120dfb6ab6ddaac1cf48a2d57eb66acf4f0
parent5a976809ea3c808e13e991a3a46a9feaf0b847c8
Merge "Add missing dependency to mediawiki.widgets"