Updates have been applied to the web server, including PHP 5.3.2. See the release announcement for more details about what's changed in PHP.
