array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'de', ), 'this' => array ( 0 => 'function.enchant-dict-is-in-session.php', 1 => 'enchant_dict_is_in_session', 2 => 'Alias von enchant_dict_is_added', ), 'up' => array ( 0 => 'ref.enchant.php', 1 => 'Enchant Funktionen', ), 'prev' => array ( 0 => 'function.enchant-dict-is-added.php', 1 => 'enchant_dict_is_added', ), 'next' => array ( 0 => 'function.enchant-dict-quick-check.php', 1 => 'enchant_dict_quick_check', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'en', 'path' => 'reference/enchant/functions/enchant-dict-is-in-session.xml', ), 'history' => array ( ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); contributors($setup); ?>

enchant_dict_is_in_session

(PHP 5 >= 5.3.0, PHP 7, PHP 8, PECL enchant >= 0.1.0 )

enchant_dict_is_in_session — Alias von enchant_dict_is_added()

Warnung

Dieser Alias ist seit PHP 8.0.0 als DEPRECATED (veraltet) markiert.

Beschreibung

Diese Funktion ist ein Alias für: enchant_dict_is_added().