Home
last modified time | relevance | path

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

/PHP-8.2/Zend/
H A Dzend_vm_gen.php2615 write_file_if_changed(__DIR__ . "/zend_vm_opcodes.h", $str);
2979 function write_file_if_changed(string $filename, string $contents) { function

Completed in 10 milliseconds