Eingabezeilenspezifische Erweiterungen
PHP Manual

GNU Readline


Eingabezeilenspezifische Erweiterungen
PHP Manual