From 7520cb08b40f5f10cc22a210876dbd29e23c1049 Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Sun, 18 Oct 2020 19:29:55 +0200
Subject: [PATCH] Pass PHP_VERSION_ID to the extension test scripts

---
 scripts/check-installed-extension.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/check-installed-extension.php b/scripts/check-installed-extension.php
index 9af280c..9ed4620 100644
--- a/scripts/check-installed-extension.php
+++ b/scripts/check-installed-extension.php
@@ -10,7 +10,7 @@ $testsDir = __DIR__ . '/tests';
 function runTest($testFile)
 {
     $rc = -1;
-    passthru($testFile, $rc);
+    passthru(escapeshellarg($testFile) . ' ' . PHP_VERSION_ID, $rc);
 
     return $rc === 0;
 }