readline_callback_handler_removereadline_callback_handler_remove (PHP 5 >= 5.1.0RC1) readline_callback_handler_remove -- Efface un gestionnaire de callback installé précédemment et restaure les paramètres du terminal Descriptionbool readline_callback_handler_remove ( void )
readline_callback_handler_remove() efface
un gestionnaire de callback installé précédemment et restaure les
paramètres du terminal.
Valeurs de retour
Retourne TRUE si un gestionnaire de callback précédemment installé a été effacé
ou FALSE s'il n'a pas été trouvé.
Manuel PHP pour PHP-Nuke © www.stefvar.com |