4 * HttpRequest was renamed to MWHttpRequest in order
5 * to prevent conflicts with PHP's HTTP extension
6 * which also defines an HttpRequest class.
7 * http://www.php.net/manual/en/class.httprequest.php
9 * This is for backwards compatibility.
12 class HttpRequest
extends MWHttpRequest
{ }