<?php

// This file is not empty.
~~~~~~~~~~