PHP syntax file updated for PHP 5.3