var_push_dtor     878 ext/spl/spl_observer.c 				var_push_dtor(&var_hash, &pelement->inf);
var_push_dtor     881 ext/spl/spl_observer.c 				var_push_dtor(&var_hash, &pelement->obj);
var_push_dtor     117 ext/standard/php_var.h PHPAPI void var_push_dtor(php_unserialize_data_t *var_hash, zval **val);
var_push_dtor     323 ext/standard/var_unserializer.c 					var_push_dtor(var_hash, old_data);
var_push_dtor     329 ext/standard/var_unserializer.c 					var_push_dtor(var_hash, old_data);