If you missed that argument when initially installing php5 and want to add it after the fact, this is all you need:
sudo apt-get install php5-readline
Um diese Funktionen benutzten zu können, müssen Sie die CLI- oder CGI-Version von PHP mit readline-Unterstützung kompilieren. Konfigurieren Sie PHP mit der Option --with-readline[=DIR]. Wenn Sie libedit als Ersatz für readline benutzen wollen, konfigurieren Sie PHP mit der Option --with-libedit[=DIR].
Unter Windows ist diese Extension von PHP 7.1.0 an standardmäßig verfügbar.
If you missed that argument when initially installing php5 and want to add it after the fact, this is all you need:
sudo apt-get install php5-readline
Use dotdeb. It's like 1 minute work.
Follow https://www.dotdeb.org/instructions/
Do only points 1,3,4 (omit 2)
and then
sudo apt-get install php5-readline