Estensioni specifiche della linea di comando
PHP Manual

GNU Readline


Estensioni specifiche della linea di comando
PHP Manual