Jeremy Newman : fix opening PHP tag for PHP 5.6