sudo ext/update_php.sh 5.4.20
Backing up working config...
Getting PHP
--2013-09-23 23:10:37-- http://us.php.net/distributions/php-5.4.20.tar.gz
Resolving us.php.net (us.php.net)... failed: Name or service not known.
wget: unable to resolve host address `us.php.net'
ERROR: This version could not be found on php.net/distributions.
sudo ext/update_php.sh 5.4.20 Backing up working config... Getting PHP --2013-09-23 23:10:37-- http://us.php.net/distributions/php-5.4.20.tar.gz Resolving us.php.net (us.php.net)... failed: Name or service not known. wget: unable to resolve host address `us.php.net' ERROR: This version could not be found on php.net/distributions.