[PHP-DEV] PHP website having issues?

[Chris Stockton]

Hello, is it just me or is the php website having issues doing function
lookups etc? I checked several mirrors and they return no results for many
functions and many links from Google are broke to. Just a heads up.