BadRequestError.php

Go to the documentation of this file.

<?php
class BadRequestError extends ErrorPageError {

    public function report() {
        global $wgOut;
        $wgOut->setStatusCode( 400 );
        parent::report();
    }
}