Home
last modified time | relevance | path

Searched refs:filename_copy (Results 1 – 1 of 1) sorted by relevance

/PHP-8.0/
H A Drun-tests.php1177 function save_text(string $filename, string $text, ?string $filename_copy = null): void argument
1181 if ($filename_copy && $filename_copy != $filename) {
1182 if (file_put_contents($filename_copy, $text) === false) {
1183 error("Cannot open file '" . $filename_copy . "' (save_text)");

Completed in 8 milliseconds