Use zend_array_destroy() instead of zend_array_release()

To make it clearer that these arrays cannot be shared and cannot
be immutable.

Author: nikic

Zend/zend_execute_API.c

@@ -288,7 +288,7 @@ void shutdown_executor(void) /* {{{ */
 			if (ZEND_MAP_PTR(op_array->static_variables_ptr)) {
 				HashTable *ht = ZEND_MAP_PTR_GET(op_array->static_variables_ptr);
 				if (ht) {
-					zend_array_release(ht);
+					zend_array_destroy(ht);
 					ZEND_MAP_PTR_SET(op_array->static_variables_ptr, NULL);
 				}
 			}
@@ -311,7 +311,7 @@ void shutdown_executor(void) /* {{{ */
 						if (ZEND_MAP_PTR(op_array->static_variables_ptr)) {
 							HashTable *ht = ZEND_MAP_PTR_GET(op_array->static_variables_ptr);
 							if (ht) {
-								zend_array_release(ht);
+								zend_array_destroy(ht);
 								ZEND_MAP_PTR_SET(op_array->static_variables_ptr, NULL);
 							}
 						}

Zend/zend_opcode.c

@@ -518,7 +518,7 @@ ZEND_API void destroy_op_array(zend_op_array *op_array)
 	if (ZEND_MAP_PTR(op_array->static_variables_ptr)) {
 		HashTable *ht = ZEND_MAP_PTR_GET(op_array->static_variables_ptr);
 		if (ht) {
-			zend_array_release(ht);
+			zend_array_destroy(ht);
 		}
 	}