readline_info

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

readline_info — Lit ou modifie diverses variables internes de readline

Description

Lit/modifie diverses variables internes.

Liste de paramètres

var_name

Un nom de variable.

value

Si fourni, ce sera la nouvelle valeur à définir.

Valeurs de retour

Appelée sans paramètre, readline_info() retourne une tableau contenant les valeurs des paramètres de Readline. Les éléments seront indexés par les clés suivantes : "done", "end", "erase_empty_line", "library_version", "line_buffer", "mark", "pending_input", "point", "prompt", "readline_name" et "terminal_name". Le tableau ne contiendra que les éléments qui sont pris en charge par la bibliothèque utilisée pour construire l'extension readline.

Si appelée avec un ou deux paramètres, l'ancienne valeur est retournée.

Historique