Merge "maintenance: Replace custom .ext extraction with pathinfo()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 1 Mar 2019 21:51:24 +0000 (21:51 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 1 Mar 2019 21:51:24 +0000 (21:51 +0000)
commitc98996f3f4f12c80ff90c54a0df793d0a6022b8f
treea78afd4d42e9dd9778308dd74169af3b5181a53c
parent9f9f8536e22953b4767f6531ef12121d9d53a844
parentcb04fe6a06f69b4936acb49b473d40d98523b692
Merge "maintenance: Replace custom .ext extraction with pathinfo()"