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