orig_ver1         127 ext/standard/versioning.c php_version_compare(const char *orig_ver1, const char *orig_ver2)
orig_ver1         135 ext/standard/versioning.c 	if (!*orig_ver1 || !*orig_ver2) {
orig_ver1         136 ext/standard/versioning.c 		if (!*orig_ver1 && !*orig_ver2) {
orig_ver1         139 ext/standard/versioning.c 			return *orig_ver1 ? 1 : -1;
orig_ver1         142 ext/standard/versioning.c 	if (orig_ver1[0] == '#') {
orig_ver1         143 ext/standard/versioning.c 		ver1 = estrdup(orig_ver1);
orig_ver1         145 ext/standard/versioning.c 		ver1 = php_canonicalize_version(orig_ver1);