Fix short open tag for PHP