php_copy_file      79 ext/standard/file.h PHPAPI int php_copy_file(const char *src, const char *dest);
php_copy_file    1145 main/streams/plain_wrapper.c 			if (php_copy_file(url_from, url_to) == SUCCESS) {