orig_ver2         127 ext/standard/versioning.c php_version_compare(const char *orig_ver1, const char *orig_ver2)
orig_ver2         135 ext/standard/versioning.c 	if (!*orig_ver1 || !*orig_ver2) {
orig_ver2         136 ext/standard/versioning.c 		if (!*orig_ver1 && !*orig_ver2) {
orig_ver2         147 ext/standard/versioning.c 	if (orig_ver2[0] == '#') {
orig_ver2         148 ext/standard/versioning.c 		ver2 = estrdup(orig_ver2);
orig_ver2         150 ext/standard/versioning.c 		ver2 = php_canonicalize_version(orig_ver2);