Error while copying from serverhttpson/exceptions/php-cache-ext/envhttps/header.php to serverhttpson/tool/application/generator/infrastructure/header.php