|
@@ 273-280 (lines=8) @@
|
| 270 |
|
$defaultPaths = isset( $info['ResourceFileModulePaths'] ) |
| 271 |
|
? $info['ResourceFileModulePaths'] |
| 272 |
|
: false; |
| 273 |
|
if ( isset( $defaultPaths['localBasePath'] ) ) { |
| 274 |
|
if ( $defaultPaths['localBasePath'] === '' ) { |
| 275 |
|
// Avoid double slashes (e.g. /extensions/Example//path) |
| 276 |
|
$defaultPaths['localBasePath'] = $dir; |
| 277 |
|
} else { |
| 278 |
|
$defaultPaths['localBasePath'] = "$dir/{$defaultPaths['localBasePath']}"; |
| 279 |
|
} |
| 280 |
|
} |
| 281 |
|
|
| 282 |
|
foreach ( [ 'ResourceModules', 'ResourceModuleSkinStyles' ] as $setting ) { |
| 283 |
|
if ( isset( $info[$setting] ) ) { |
|
@@ 285-292 (lines=8) @@
|
| 282 |
|
foreach ( [ 'ResourceModules', 'ResourceModuleSkinStyles' ] as $setting ) { |
| 283 |
|
if ( isset( $info[$setting] ) ) { |
| 284 |
|
foreach ( $info[$setting] as $name => $data ) { |
| 285 |
|
if ( isset( $data['localBasePath'] ) ) { |
| 286 |
|
if ( $data['localBasePath'] === '' ) { |
| 287 |
|
// Avoid double slashes (e.g. /extensions/Example//path) |
| 288 |
|
$data['localBasePath'] = $dir; |
| 289 |
|
} else { |
| 290 |
|
$data['localBasePath'] = "$dir/{$data['localBasePath']}"; |
| 291 |
|
} |
| 292 |
|
} |
| 293 |
|
if ( $defaultPaths ) { |
| 294 |
|
$data += $defaultPaths; |
| 295 |
|
} |
wikimedia /
mediawiki
