Merge "resourceloader: Remove unused makeCustomLoaderScript() method"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 17 Sep 2018 18:44:42 +0000 (18:44 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 17 Sep 2018 18:44:42 +0000 (18:44 +0000)
commit42310ac502e3570d565288efd163d087113853e9
treebff2dd49cccc45b9ac7181b0f1960f5f00b143bc
parentfe94275c8fcfc248a5eae857dde7c5772d993ab5
parentf31e866653d4a491868a01b734883cd5d05ed71c
Merge "resourceloader: Remove unused makeCustomLoaderScript() method"
includes/resourceloader/ResourceLoader.php