enchant_dict_remove_from_session
PHP Manual
PHP Manual»Enchant Funzioni»enchant_dict_remove_from_session

enchant_dict_remove_from_session

(PHP 8 >= 8.5.0)

enchant_dict_remove_from_session — Remove a word from the session dictionary

Descrizione

function enchant_dict_remove_from_session(EnchantDictionary $dictionary, string $word): void

Removes a word that was previously added to the current spell-checking session via enchant_dict_add_to_session().

Elenco dei parametri

dictionary

An Enchant dictionary returned by enchant_broker_request_dict() or enchant_broker_request_pwl_dict().

word

The word to remove from the session.

Valori restituiti

Nessun valore viene restituito.

Vedere anche:

To Top