Minor updates for PHP syntax