Merge "doc: Clean up documentation in ResourceLoader.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 7 Mar 2014 19:12:14 +0000 (19:12 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 7 Mar 2014 19:12:14 +0000 (19:12 +0000)
commit68dbdc8b0a27a3c1b86f7b3c82e39a6ceb6cf5ce
tree3693395ae13d0a7332e847c3adb080f16e9a4f39
parent142db358fc57bcdb452f5e8ef5071b25c87f6f36
parent94ba63be03795a37598e93617ff8130daedcc472
Merge "doc: Clean up documentation in ResourceLoader.php"