Merge "Deprecate various ResourceLoader modules"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 12 Aug 2016 01:50:16 +0000 (01:50 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 12 Aug 2016 01:50:16 +0000 (01:50 +0000)
commit623eed968818809477e6184b1f4fa125f6dfc88c
treef9032c222758b3cd86a1b5babc80eebe1ab3cc4d
parent84154b4b250b626b67f7526bc988bddfeb95baa2
parent9e712ce6382f99030b3b51582c3e5d145592c597
Merge "Deprecate various ResourceLoader modules"
resources/Resources.php