No more undefined usage of rev{Start,End}Id warnings
[mediawiki.git] / includes / HttpFunctions.old.php
blob479b4d234705d4b940049bb852f8ad7acc244b74
1 <?php
3 /**
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.
10 * @since 1.17
12 class HttpRequest extends MWHttpRequest { }