From 9936470ff8103e7671ca78183b06020dc6153a8f Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Fri, 31 Jul 2015 13:10:06 +0200
Subject: [PATCH] use better release list

---
 php-version.php | 37 ++++++++++++++++++++++++++++++++-----
 1 file changed, 32 insertions(+), 5 deletions(-)

diff --git a/php-version.php b/php-version.php
index 8d6e087..0df642e 100644
--- a/php-version.php
+++ b/php-version.php
@@ -1,12 +1,39 @@
 <?php 
 
 $version = $argv[1];
-$versions = json_decode(stream_get_contents(STDIN), 1);
+$versions = @json_decode(stream_get_contents(STDIN), 1);
 
-list($major) = explode(".", $version, 2);
+# check if we've got a distinct version
+if (isset($versions[$version])) {
+	printf("%s\n", $version);
+	exit;
+}
 
-if (isset($versions[$major][$version])) {
-	printf("%s\n", $versions[$major][$version]["version"]);
+$by_minor = [];
+# build the tree of latest versions per minor
+foreach (array_keys((array) $versions) as $release) {
+	list($major, $minor, $patch) = explode(".", $release);
+	if (isset($by_minor["$major.$minor"])) {
+		if (version_compare($release, $by_minor["$major.$minor"], "<")) {
+			continue;
+		}
+	}
+	$by_minor["$major.$minor"] = $release;
+}
+
+# check latest release
+if (isset($by_minor[$version])) {
+	printf("%s\n", $by_minor[$version]);
 } else {
-	printf("%s\n", $version);
+	# failsafe
+	switch ($version) {
+	case "5.4":
+		print("5.4.43\n");
+		break;
+	case "5.5":
+		print("5.5.27\n");
+		break;
+	default:
+		print("5.6.11\n");
+	}
 }
-- 
2.30.2