static void aspell_provider_dispose_dict (EnchantProvider * me, EnchantDict * dict) { PspellManager *manager; manager = (PspellManager *) dict->user_data; delete_pspell_manager (manager); g_free (dict); }
static void php_pspell_close(zend_resource *rsrc) { PspellManager *manager = (PspellManager *)rsrc->ptr; delete_pspell_manager(manager); }