MediaWiki REL1_32
ExtensionDependencyError.php
Go to the documentation of this file.
1<?php
24class ExtensionDependencyError extends Exception {
25
29 public $missingExtensions = [];
30
34 public $missingSkins = [];
35
40
44 public $incompatibleSkins = [];
45
49 public $incompatibleCore = false;
50
54 public $incompatiblePhp = false;
55
60
64 public function __construct( array $errors ) {
65 $msg = '';
66 foreach ( $errors as $info ) {
67 $msg .= $info['msg'] . "\n";
68 switch ( $info['type'] ) {
69 case 'incompatible-core':
70 $this->incompatibleCore = true;
71 break;
72 case 'incompatible-php':
73 $this->incompatiblePhp = true;
74 break;
75 case 'missing-phpExtension':
76 $this->missingPhpExtensions[] = $info['missing'];
77 break;
78 case 'missing-skins':
79 $this->missingSkins[] = $info['missing'];
80 break;
81 case 'missing-extensions':
82 $this->missingExtensions[] = $info['missing'];
83 break;
84 case 'incompatible-skins':
85 $this->incompatibleSkins[] = $info['incompatible'];
86 break;
87 case 'incompatible-extensions':
88 $this->incompatibleExtensions[] = $info['incompatible'];
89 break;
90 // default: continue
91 }
92 }
93
94 parent::__construct( $msg );
95 }
96
97}
Copyright (C) 2018 Kunal Mehta legoktm@member.fsf.org
The wiki should then use memcached to cache various data To use multiple just add more items to the array To increase the weight of a make its entry a array("192.168.0.1:11211", 2))