Manuel PHP
Précédent
Suivant
readline_redisplay
(PHP 5)
readline_redisplay -- Demande à readline de refaire l'affichage
Description
void
readline_redisplay
( void )
Avertissement
Cette fonction n'est pas documentée et seule la liste des arguments est disponible.
Précédent
Sommaire
Suivant
readline_read_history
Niveau supérieur
readline_write_history