Home
last modified time | relevance | path

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

/php-src/Zend/
H A Dzend_vm_gen.php2657 write_file_if_changed(__DIR__ . "/zend_vm_opcodes.h", $str);
3021 function write_file_if_changed(string $filename, string $contents) { function

Completed in 12 milliseconds