<?php

// Wrong file comment.