From 434388a61006e958dabddef1c6477e6fd3e75c63 Mon Sep 17 00:00:00 2001 From: Peter Kokot Date: Mon, 25 Mar 2019 20:50:14 +0100 Subject: [PATCH] Add minimum required PHP version to run-tests.php This integrates a simple minimum PHP version info in the tool and to also define the minimum version that the tool syntax should support. --- run-tests.php | 2 ++ 1 file changed, 2 insertions(+) diff --git a/run-tests.php b/run-tests.php index a8dbd81c38a..58d10967a19 100755 --- a/run-tests.php +++ b/run-tests.php @@ -29,6 +29,8 @@ /* Let there be no top-level code beyond this point: * Only functions and classes, thanks! + * + * Minimum required PHP version: 7.0.0 */ /**