I've got a more up to date implementation of Extension:WebDAV, that I'd like to publish. Please see also https://www.mediawiki.org/w/index.php?diff=3089502&oldid=3087794&title=Gerrit/New_repositories/Requests/Entries&type=revision&diffmode=source
Pinging @QChris.