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
|
@@ 385-389 (lines=5) @@
|
| 382 |
|
if ( !is_array( $value ) ) { |
| 383 |
|
throw new InvalidArgumentException( "The value for '$name' should be an array (from $path)" ); |
| 384 |
|
} |
| 385 |
|
if ( isset( $array[$name] ) ) { |
| 386 |
|
$array[$name] = array_merge_recursive( $array[$name], $value ); |
| 387 |
|
} else { |
| 388 |
|
$array[$name] = $value; |
| 389 |
|
} |
| 390 |
|
} |
| 391 |
|
|
| 392 |
|
public function getExtraAutoloaderPaths( $dir, array $info ) { |
wikimedia /
mediawiki
