Add patch for mongodb for PHP 8.5 [skip ci]

shivammathur · shivammathur · commit bb6d98f2e518 · 2025-08-11T11:54:30.000Z
diff --git a/scripts/patch-extensions.sh b/scripts/patch-extensions.sh
@@ -96,3 +96,7 @@ patch_yaml() {
 patch_zmq() {
   [[ "$PHP_VERSION" = "8.5" ]] && sed -i 's/zend_exception_get_default()/zend_ce_exception/' zmq.c
 }
+
+patch_mongodb() {
+  [[ "$PHP_VERSION" = "8.5" ]] && sed -i 's/IS_INTERNED/ZSTR_IS_INTERNED/' src/contrib/php_array_api.h
+}

Original file line number	Diff line number	Diff line change
`@@ -96,3 +96,7 @@ patch_yaml() {`
`96`	`96`	`patch_zmq() {`
`97`	`97`	`[[ "$PHP_VERSION" = "8.5" ]] && sed -i 's/zend_exception_get_default()/zend_ce_exception/' zmq.c`
`98`	`98`	`}`
	`99`	`+`
	`100`	`+patch_mongodb() {`
	`101`	`+ [[ "$PHP_VERSION" = "8.5" ]] && sed -i 's/IS_INTERNED/ZSTR_IS_INTERNED/' src/contrib/php_array_api.h`
	`102`	`+}`