1<?php 2 3/** @generate-function-entries */ 4 5final class EnchantBroker 6{ 7} 8 9final class EnchantDictionary 10{ 11} 12 13function enchant_broker_init(): EnchantBroker|false {} 14 15/** @deprecated */ 16function enchant_broker_free(EnchantBroker $broker): bool {} 17 18function enchant_broker_get_error(EnchantBroker $broker): string|false {} 19 20/** @deprecated */ 21function enchant_broker_set_dict_path(EnchantBroker $broker, int $type, string $path): bool {} 22 23/** @deprecated */ 24function enchant_broker_get_dict_path(EnchantBroker $broker, int $type): string|false {} 25 26function enchant_broker_list_dicts(EnchantBroker $broker): array {} 27 28function enchant_broker_request_dict(EnchantBroker $broker, string $tag): EnchantDictionary|false {} 29 30function enchant_broker_request_pwl_dict(EnchantBroker $broker, string $filename): EnchantDictionary|false {} 31 32/** @deprecated */ 33function enchant_broker_free_dict(EnchantDictionary $dictionary): bool {} 34 35function enchant_broker_dict_exists(EnchantBroker $broker, string $tag): bool {} 36 37function enchant_broker_set_ordering(EnchantBroker $broker, string $tag, string $ordering): bool {} 38 39function enchant_broker_describe(EnchantBroker $broker): array {} 40 41/** @param array $suggestions */ 42function enchant_dict_quick_check(EnchantDictionary $dictionary, string $word, &$suggestions = null): bool {} 43 44function enchant_dict_check(EnchantDictionary $dictionary, string $word): bool {} 45 46function enchant_dict_suggest(EnchantDictionary $dictionary, string $word): array {} 47 48function enchant_dict_add(EnchantDictionary $dictionary, string $word): void {} 49 50/** 51* @alias enchant_dict_add 52* @deprecated 53*/ 54function enchant_dict_add_to_personal(EnchantDictionary $dictionary, string $word): void {} 55 56function enchant_dict_add_to_session(EnchantDictionary $dictionary, string $word): void {} 57 58function enchant_dict_is_added(EnchantDictionary $dictionary, string $word): bool {} 59 60/** 61* @alias enchant_dict_is_added 62* @deprecated 63*/ 64function enchant_dict_is_in_session(EnchantDictionary $dictionary, string $word): bool {} 65 66function enchant_dict_store_replacement(EnchantDictionary $dictionary, string $misspelled, string $correct): void {} 67 68function enchant_dict_get_error(EnchantDictionary $dictionary): string|false {} 69 70function enchant_dict_describe(EnchantDictionary $dictionary): array {} 71