Merge "maintenance: Add maintenance script for managing foreign resources"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 21 Aug 2018 17:53:29 +0000 (17:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 21 Aug 2018 17:53:29 +0000 (17:53 +0000)
commit6fb0c3a26d50cd24e24eebd52a5c6e3e63eb6c82
treef4f624b932bfbbfa2f94fb92f3d8663f14733726
parent58f4150936884692562f19c97ff24b4956d82f78
parentdd8cced9ffacaecb6c623a1ec2b4e4890dea2042
Merge "maintenance: Add maintenance script for managing foreign resources"
autoload.php