php_get_windows_name  547 standard/info.c 		char *winver = php_get_windows_name();
php_get_windows_name  562 standard/info.c 		char *winver = php_get_windows_name();