I was kinda worried that some bit of the php.net website wasn't going to cope well with the new major version number (due to some quirks in our data structures), but it carried on like a champ.
PHP is really good at running really bad code really well.... even when that bad code is the php.net website.
Open source. Open community. We are dedicated to building and enriching the PHP community.