Extension:WebDAV/Hooks/WebDAVGetFilenameFromUrl