The php-readline package contains a dynamic shared object (DSO) for PHP. 
To activate it, make sure a file /etc/php/41_readline.ini is present and
contains the line 'extension = readline.so'.
