MediaWiki master
HeaderParserError.php
Go to the documentation of this file.