xref: /PHP-8.0/ext/enchant/enchant.stub.php (revision 811f6dd8)
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