readline_on_new_line

(PHP 5 >= 5.1.0RC1)

readline_on_new_line -- Inform readline that the cursor has moved to a new line

Description

void readline_on_new_line ( void )

Tells readline that the cursor has moved to a new line.

No value is returned.

Total time: 1.9892