array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'fr', ), 'this' => array ( 0 => 'function.enchant-dict-remove-from-session.php', 1 => 'enchant_dict_remove_from_session', 2 => 'Retire un mot du dictionnaire de session', ), 'up' => array ( 0 => 'ref.enchant.php', 1 => 'Fonctions Enchant', ), 'prev' => array ( 0 => 'function.enchant-dict-remove.php', 1 => 'enchant_dict_remove', ), 'next' => array ( 0 => 'function.enchant-dict-store-replacement.php', 1 => 'enchant_dict_store_replacement', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'fr', 'path' => 'reference/enchant/functions/enchant-dict-remove-from-session.xml', ), 'history' => array ( ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); contributors($setup); ?>

enchant_dict_remove_from_session

(PHP 8 >= 8.5.0)

enchant_dict_remove_from_session — Retire un mot du dictionnaire de session

Description

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

Retire un mot qui avait été précédemment ajouté à la session de vérification orthographique courante via enchant_dict_add_to_session().

Liste de paramètres

dictionary

Un dictionnaire Enchant retourné par enchant_broker_request_dict() ou enchant_broker_request_pwl_dict().

word

Le mot à retirer de la session.

Valeurs de retour

Aucune valeur n'est retournée.

Voir aussi