Fix patch for mongodb

shivammathur · shivammathur · commit c7479d23fcdc · 2025-10-03T22:22:40.000Z
diff --git a/scripts/patch-extensions.sh b/scripts/patch-extensions.sh
@@ -99,5 +99,5 @@ patch_zmq() {
 }
 
 patch_mongodb() {
-  [[ "$PHP_VERSION" = "8.5" || "$PHP_VERSION" = "8.6" ]] && sed -i 's/IS_INTERNED/ZSTR_IS_INTERNED/' src/contrib/php_array_api.h
+  [[ "$PHP_VERSION" = "8.6" ]] && sed -i 's/ZVAL_IS_NULL/Z_ISNULL_P/' src/MongoDB/ServerApi.c
 }

Original file line number	Diff line number	Diff line change
`@@ -99,5 +99,5 @@ patch_zmq() {`
`99`	`99`	`}`
`100`	`100`
`101`	`101`	`patch_mongodb() {`
`102`		`- [[ "$PHP_VERSION" = "8.5" \|\| "$PHP_VERSION" = "8.6" ]] && sed -i 's/IS_INTERNED/ZSTR_IS_INTERNED/' src/contrib/php_array_api.h`
	`102`	`+ [[ "$PHP_VERSION" = "8.6" ]] && sed -i 's/ZVAL_IS_NULL/Z_ISNULL_P/' src/MongoDB/ServerApi.c`
`103`	`103`	`}`