Update php-readline.sh