enchant_dict_remove
(PHP 8 >= 8.5.0)
enchant_dict_remove — Ajoute un mot à la liste d'exclusion et le retire du dictionnaire personnel
Description
Ajoute un mot à la liste d'exclusion du dictionnaire donné, l'empêchant d'être accepté comme correctement orthographié. Si le mot avait été précédemment ajouté au dictionnaire personnel, il en est également retiré.
Liste de paramètres
dictionary-
Un dictionnaire Enchant retourné par enchant_broker_request_dict() ou enchant_broker_request_pwl_dict().
word-
Le mot à exclure.
Valeurs de retour
Aucune valeur n'est retournée.
Voir aussi
- enchant_dict_add() - Ajoute un mot à une liste de mots personnelle
- enchant_dict_remove_from_session() - Retire un mot du dictionnaire de session
- enchant_dict_is_added() - Que le 'mot' existe ou non dans cette session d'orthographe
＋add a note
User Contributed Notes
There are no user contributed notes for this page.
-
0
pcntl_sigtimedwaitWaits for signals, with a timeout
-
0
similar_textCalculate the similarity between two strings
-
0
boolvalGet the boolean value of a variable
-
0
curl_multi_closeClose a set of cURL handles
-
0
imap_bodyRead the message body
-
0
mb_strposFind position of first occurrence of string in a string
-
0
pg_send_prepareSends a request to create a prepared statement with the given parameters, without waiting for completion
-
0
swoole_native_socket_bind
-
0
Arr::prependKeysWith
-
0
zend_versionGets the version of the current Zend engine