php_copy_file_ex 5789 ext/standard/basic_functions.c 	} else if (php_copy_file_ex(path, new_path, STREAM_DISABLE_OPEN_BASEDIR) == SUCCESS) {
php_copy_file_ex   80 ext/standard/file.h PHPAPI int php_copy_file_ex(const char *src, const char *dest, int src_chk);