readline_redisplay

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

    readline_redisplay — Redraws the display

    Descrizione

    readline_redisplay(): void

    Redraws readline to redraw the display.

    Elenco dei parametri

    Questa funzione non contiene parametri.

    Valori restituiti

    Nessun valore viene restituito.

    Found A Problem?

    Learn How To Improve This Page • Submit a Pull Request • Report a Bug
    ＋add a note

    User Contributed Notes

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