includes/libs/ArrayUtils.php 1 location
|
@@ 175-182 (lines=8) @@
|
| 172 |
|
if ( count( $valueret ) ) { |
| 173 |
|
$ret[$key] = $valueret; |
| 174 |
|
} |
| 175 |
|
} else { |
| 176 |
|
foreach ( $arrays as $array ) { |
| 177 |
|
if ( isset( $array[$key] ) && $array[$key] === $value ) { |
| 178 |
|
continue 2; |
| 179 |
|
} |
| 180 |
|
} |
| 181 |
|
$ret[$key] = $value; |
| 182 |
|
} |
| 183 |
|
} |
| 184 |
|
|
| 185 |
|
return $ret; |
includes/registration/ExtensionProcessor.php 1 location
|
@@ 438-442 (lines=5) @@
|
| 435 |
|
if ( !is_array( $value ) ) { |
| 436 |
|
throw new InvalidArgumentException( "The value for '$name' should be an array (from $path)" ); |
| 437 |
|
} |
| 438 |
|
if ( isset( $array[$name] ) ) { |
| 439 |
|
$array[$name] = array_merge_recursive( $array[$name], $value ); |
| 440 |
|
} else { |
| 441 |
|
$array[$name] = $value; |
| 442 |
|
} |
| 443 |
|
} |
| 444 |
|
|
| 445 |
|
public function getExtraAutoloaderPaths( $dir, array $info ) { |
wikimedia /
mediawiki
