now we're brave!

[m6w6/ext-pq] / travis / pecl / php-version.php

diff --git a/travis/pecl/php-version.php b/travis/pecl/php-version.php
new file mode 100644 (file)
index 0000000..761f09a
--- /dev/null
+++ b/travis/pecl/php-version.php
@@ -0,0 +1,10 @@
+<?php 
+
+$version = $argv[1];
+$versions = json_decode(stream_get_contents(STDIN), 1);
+
+list($major) = explode(".", $version, 2);
+
+if (isset($versions[$major][$version])) {
+       printf("%s\n", $versions[$major][$version]["version"]);
+}