MaintenanceFatalError.php

Go to the documentation of this file.

<?php
 
namespace MediaWiki\Maintenance;
 
use Exception;
 
class MaintenanceFatalError extends Exception {
    public function __construct( $code ) {
        parent::__construct( "", $code );
    }
}