Merge "ResourceLoader: expose registry as mediaWiki.loader.moduleRegistry"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 25 Sep 2013 18:09:28 +0000 (18:09 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 25 Sep 2013 18:09:28 +0000 (18:09 +0000)
commitcfa601ef57b7c5563ecfa7f1b32abe05a0e8e893
tree8c3a70e58d2dab4f9904fd82814539bda067f5d1
parent565b65d5e4cc74fe80b8e524bfb08e412ff4af25
parent9374fb34ef34d855e8d9c621547b2c09527b1950
Merge "ResourceLoader: expose registry as mediaWiki.loader.moduleRegistry"