MediaWiki  REL1_24
BadTitleError.php
Go to the documentation of this file.
00001 <?php
00029 class BadTitleError extends ErrorPageError {
00034     public function __construct( $msg = 'badtitletext', $params = array() ) {
00035         parent::__construct( 'badtitle', $msg, $params );
00036     }
00037 
00042     public function report() {
00043         global $wgOut;
00044 
00045         // bug 33646: a badtitle error page need to return an error code
00046         // to let mobile browser now that it is not a normal page.
00047         $wgOut->setStatusCode( 400 );
00048         parent::report();
00049     }
00050 
00051 }