Extensions spécifiques à la ligne de commande
PHP Manual

GNU Readline


Extensions spécifiques à la ligne de commande
PHP Manual