<?php

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