try some crazy high timeout

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

diff --git a/php-version.php b/php-version.php
old mode 100644 (file)
new mode 100755 (executable)
index 0df642e..03260ad
--- a/php-version.php
+++ b/php-version.php
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php 
 
 $version = $argv[1];
@@ -9,7 +10,7 @@ if (isset($versions[$version])) {
        exit;
 }
 
-$by_minor = [];
+$by_minor = array();
 # build the tree of latest versions per minor
 foreach (array_keys((array) $versions) as $release) {
        list($major, $minor, $patch) = explode(".", $release);