<?php

/**
 * @file
 * Wrong file comment.
 */