Use has_extension

glensc · glensc · commit 14737ebbf25e · 2025-01-20T21:18:58.000+02:00
diff --git a/install-extensions.sh b/install-extensions.sh
@@ -49,7 +49,7 @@ install_tideways_xhprof() {
 	config="$HOME/.phpenv/versions/$PHP_VERSION/etc/conf.d/tideways_xhprof.ini"
 	test -f "$library" || die "Extension not available: $library"
 	echo "extension=$library" > "$config"
-	php -m | grep -F "$extension"
+	has_extension "$extension"
 }
 
 case "$(uname -s):$PHP_VERSION" in

Original file line number	Diff line number	Diff line change
`@@ -49,7 +49,7 @@ install_tideways_xhprof() {`
`49`	`49`	`config="$HOME/.phpenv/versions/$PHP_VERSION/etc/conf.d/tideways_xhprof.ini"`
`50`	`50`	`test -f "$library" \|\| die "Extension not available: $library"`
`51`	`51`	`echo "extension=$library" > "$config"`
`52`		`- php -m \| grep -F "$extension"`
	`52`	`+ has_extension "$extension"`
`53`	`53`	`}`
`54`	`54`
`55`	`55`	`case "$(uname -s):$PHP_VERSION" in`