<?php /**
 * @file
 * No newline after the PHP open tag.
 */