* @copyright (c) 2008-19 by Ralf Becker */ // we permanent redirect to the correct URL instead of processing the request under the old url // (processing under misses certain special handling like not access_logging the request) http_response_code(301); header('Location: '.str_replace('/filemanager/webdav.php/', '/webdav.php/', $_SERVER['REQUEST_URI']));