<?php


/**
 * @file
 * One new line too much after the PHP open tag.
 */