Adding PHP 8.3

smokodon · smokodon · commit fbc79bed65f6 · 2023-12-14T15:02:43.000+01:00
diff --git a/bin/compile-extension-mongodb b/bin/compile-extension-mongodb
@@ -15,7 +15,7 @@ if [[ $VERSION =~ ^master$ || $VERSION =~ snapshot$ ]]; then
 	sudo make install
 	popd
 else
-	yes '' | pecl_install mongodb
+	yes | sudo pecl_install mongodb
 fi
 
 travis_time_finish
