readline_redisplay

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

readline_redisplayRedesenha a tela

Descrição

readline_redisplay(): void

Redesenha readline para atualizar a tela.

Parâmetros

Esta função não possui parâmetros.

Valor Retornado

Nenhum valor é retornado.