Merge "resources: Switch oojs to the version optimised for environments with jQuery"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 23 Jul 2014 20:52:51 +0000 (20:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 23 Jul 2014 20:52:51 +0000 (20:52 +0000)
commit89dc7d4957bcac80fd1a6ed8333c1d99634004d8
tree0b82512e5f7b90e0b565ef3cebce48597305db83
parent53218fb896a3e96ea4fede0c5361974bf04b2ac3
parent0618e89be2362130ca4703046800db1ace05e05a
Merge "resources: Switch oojs to the version optimised for environments with jQuery"
resources/Resources.php