MediaWiki
REL1_24
|
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 }