(PHP 5 >= 5.1.0)
readline_callback_handler_remove — Efface un gestionnaire de callback installé précédemment et restaure les paramètres du terminal
Efface un gestionnaire de callback installé précédemment et restaure les paramètres du terminal.
Retourne TRUE si un gestionnaire de callback précédemment installé a été effacé ou FALSE s'il n'a pas été trouvé.
Voir la fonction readline_callback_handler_install() pour un exemple concernant l'utilisation de l'interface de callback readline.
readline_callback_handler_install() |
readline_callback_read_char() |