Merge "resources: Make manageForeignResources a regular maint script"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 25 Mar 2019 20:04:08 +0000 (20:04 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 25 Mar 2019 20:04:08 +0000 (20:04 +0000)
commit38760fe5872e90ba61777d87936190735e311e83
tree94b8a6ce13d6daac6bea459ce8240e7959d206ab
parente221e45a224292abaa902fd3a89c6c0c05fc6ec5
parentf8fcff31aaaf3230ab69c57d7bb4e5b7adc5bc0b
Merge "resources: Make manageForeignResources a regular maint script"
autoload.php