PHP 7.0.6 Released

    readline_redisplay

    (PHP 5 >= 5.1.0, PHP 7)

    readline_redisplay — Redraws the display

    Description

    void readline_redisplay ( void )

    Redraws readline to redraw the display.

    Return Values

    No value is returned.

    User Contributed Notes

    There are no user contributed notes for this page.
    To Top