PHP Portal » PHP Handbuch » readline_redisplay

Werbung

readline_redisplay


(PHP 5 >= 5.1.0)

readline_redisplayZeichnet den Bildschirm neu

Beschreibung

void readline_redisplay ( void )

Zeichnet die Eingabezeile neu um den Bildschirm neu aufzubauen.

Rückgabewerte

Es wird kein Wert zurückgegeben.