readline_write_history

    (PHP 4, PHP 5, PHP 7, PHP 8)

    readline_write_history — Écrit dans l'historique

    Description

    readline_write_history(?string$filename = null): bool

    Écrit l'historique dans le fichier filename.

    Liste de paramètres

    filename

    Chemin vers le fichier à sauvegarder.

    Valeurs de retour

    Cette fonction retourne true en cas de succès ou false si une erreur survient.

    Historique

    VersionDescription
    8.0.0filename est désormais nullable.
    To Top