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