Avoid short open tag for PHP.