php-readline: Obsoleted by php