readline_redisplay
PHP Manual
PHP Manual»Fonctions Readline»readline_redisplay

readline_redisplay

(PHP 5 >= 5.1.0, PHP 7, PHP 8)

readline_redisplay — Demande à readline de refaire l'affichage

Description

function readline_redisplay(): void

Demande à readline de refaire l'affichage.

Cette fonction est disponible uniquement si la bibliothèque readline avec laquelle PHP a été compilé la prend en charge. Elle est indisponible sur Windows.

Liste de paramètres

Cette fonction ne contient aucun paramètre.

Valeurs de retour

Aucune valeur n'est retournée.

Voir aussi

To Top