ExtensionDependencyError.php

Go to the documentation of this file.

<?php
namespace MediaWiki\Registration;
 
use Exception;
 
class ExtensionDependencyError extends Exception {
 
    public $missingExtensions = [];
 
    public $missingSkins = [];
 
    public $incompatibleExtensions = [];
 
    public $incompatibleSkins = [];
 
    public $incompatibleCore = false;
 
    public $incompatiblePhp = false;
 
    public $missingPhpExtensions = [];
 
    public $missingAbilities = [];
 
    public function __construct( array $errors ) {
        $msg = '';
        foreach ( $errors as $info ) {
            $msg .= $info['msg'] . "\n";
            switch ( $info['type'] ) {
                case 'incompatible-core':
                    $this->incompatibleCore = true;
                    break;
                case 'incompatible-php':
                    $this->incompatiblePhp = true;
                    break;
                case 'missing-phpExtension':
                    $this->missingPhpExtensions[] = $info['missing'];
                    break;
                case 'missing-ability':
                    $this->missingAbilities[] = $info['missing'];
                    break;
                case 'missing-skins':
                    $this->missingSkins[] = $info['missing'];
                    break;
                case 'missing-extensions':
                    $this->missingExtensions[] = $info['missing'];
                    break;
                case 'incompatible-skins':
                    $this->incompatibleSkins[] = $info['incompatible'];
                    break;
                case 'incompatible-extensions':
                    $this->incompatibleExtensions[] = $info['incompatible'];
                    break;
                // default: continue
            }
        }
 
        parent::__construct( $msg );
    }
 
}
 
class_alias( ExtensionDependencyError::class, 'ExtensionDependencyError' );