<?php

/**
 * This file is, guess what, part of WebHelper.
 *