Searched refs:filename_copy (Results 1 – 1 of 1) sorted by relevance
1159 function save_text($filename, $text, $filename_copy = null) argument1163 if ($filename_copy && $filename_copy != $filename) {1164 if (file_put_contents($filename_copy, $text, FILE_BINARY) === false) {1165 error("Cannot open file '" . $filename_copy . "' (save_text)");
Completed in 10 milliseconds