PHP Handbuch
ZurückWeiter

readline_redisplay

(PHP 5 >= 5.1.0RC1)

readline_redisplay --  Ask readline to redraw the display

Description

void readline_redisplay ( void )

Warnung

Diese Funktion ist bis jetzt nicht dokumentiert. Es steht nur die Liste der Argumente zur Verfügung.

ZurückZum AnfangWeiter
readline_read_historyNach obenreadline_write_history