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
Pentru utilizatea acestor funcții este necesară compilarea versiunii CGI sau CLI a PHP cu susținerea readline. Este necesară configurarea PHP cu opțiunea --with-readline[=DIR]. Dacă doriți să utilizați înlocuitorul readline -- libedit -- configurați PHP cu opțiunea --with-libedit[=DIR].
Această extensie este disponibilă implicit pe Windows începând cu 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