From 581a0d0fbff383fc9623d7e15df26403bc20e223 Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Tue, 29 Mar 2022 09:02:42 +0200
Subject: [PATCH] Fix installing snmp (#552)

---
 install-php-extensions | 1 +
 1 file changed, 1 insertion(+)

diff --git a/install-php-extensions b/install-php-extensions
index d666903..6f3915a 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -2256,6 +2256,7 @@ EOF
 			esac
 			;;
 	esac
+	php -r 'return;' >/dev/null 2>/dev/null || true
 	installBundledModule_errAfter="$(php -r 'return;' 2>&1 || true)"
 	if test "$installBundledModule_errAfter" != "$installBundledModule_errBefore"; then
 		printf 'PHP has problems after installing the "%s" extension:\n%s\n' "$1" "$installBundledModule_errAfter" >&2