Merge "resources: Extract ForeignResourceManager from manageForeignResources.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 6 Nov 2018 20:36:14 +0000 (20:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 6 Nov 2018 20:36:14 +0000 (20:36 +0000)
commit00063e1eb126d6a0917331d46303d7ea180c74bc
tree7bbf796663e1abf69e51e3c08e89af09282da457
parent86ff749526c81cc7217ac18dd383cbe64bd479ad
parent54bd63946780e34894a50707f8378b76a2208096
Merge "resources: Extract ForeignResourceManager from manageForeignResources.php"
autoload.php