It looks like the page is partially down. We tried multiple locations and different ISPs; however, today pecl.php.net has some problems.
35.59 Updating channel "pecl.php.net"
35.59 Channel "pecl.php.net" is not responding over http://, failed with message: Connection to `pecl.php.net:80' failed: php_network_getaddresses: getaddrinfo for pecl.php.net failed: Name or service not known
35.59 Trying channel "pecl.php.net" over https:// instead
35.60 Cannot retrieve channel.xml for channel "pecl.php.net" (Connection to `ssl://pecl.php.net:443' failed: php_network_getaddresses: getaddrinfo for pecl.php.net failed: Name or service not known)
It looks like the page is partially down. We tried multiple locations and different ISPs; however, today pecl.php.net has some problems.