destroy_SWFSprite_resource 6258 php_ext/ming.c 	le_swfmovieclipp = zend_register_list_destructors_ex(destroy_SWFSprite_resource, NULL, "SWFMovieClip", module_number);
destroy_SWFSprite_resource 6259 php_ext/ming.c 	le_swfspritep = zend_register_list_destructors_ex(destroy_SWFSprite_resource, NULL, "SWFSprite", module_number);