readline_redisplay

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

    readline_redisplay — Redraws the display

    Опис

    readline_redisplay(): void

    Redraws readline to redraw the display.

    Параметри

    У цієї функції немає параметрів.

    Значення, що повертаються

    Не повертає значень.

    Improve This Page

    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