<?php

/**
 * Deliberately blank!
 */