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
Aby używać tych funkcji należy skompilować PHP w wersji CGI lub CLI z obsługą readline. Podczas konfiguracji PHP należy dodać opcję --with-readline[=DIR] . Aby używać odpowiednika readline - libedit, należy podczas konfiguracji PHP dodać opcję --with-libedit[=DIR] .
To rozszerzenie jest domyślnie dostępne w systemie Windows od PHP 7.1.0.
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