handle opcache as zend_extension

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

diff --git a/php-version.php b/php-version.php
index 63d35b3e6962ddacd5307c358a85df288c79aec9..d7b15f3acb2132536c992dfd792ee2641cbebc4a 100755 (executable)
--- a/php-version.php
+++ b/php-version.php
@@ -45,10 +45,16 @@ if (isset($by_minor[$version])) {
                print("7.1.27\n");
                break;
        case "7.2":
-               print("7.2.16\n");
+               print("7.2.34\n");
                break;
        case "7.3":
-               print("7.3.3\n");
+               print("7.3.25\n");
+               break;
+       case "7.4":
+               print("7.4.13\n");
+               break;
+       case "8.0":
+               print("8.0.0\n");
                break;
        case "master":
                print("master\n");