|
@@ 260-267 (lines=8) @@
|
| 257 |
|
$defaultPaths = isset( $info['ResourceFileModulePaths'] ) |
| 258 |
|
? $info['ResourceFileModulePaths'] |
| 259 |
|
: false; |
| 260 |
|
if ( isset( $defaultPaths['localBasePath'] ) ) { |
| 261 |
|
if ( $defaultPaths['localBasePath'] === '' ) { |
| 262 |
|
// Avoid double slashes (e.g. /extensions/Example//path) |
| 263 |
|
$defaultPaths['localBasePath'] = $dir; |
| 264 |
|
} else { |
| 265 |
|
$defaultPaths['localBasePath'] = "$dir/{$defaultPaths['localBasePath']}"; |
| 266 |
|
} |
| 267 |
|
} |
| 268 |
|
|
| 269 |
|
foreach ( [ 'ResourceModules', 'ResourceModuleSkinStyles' ] as $setting ) { |
| 270 |
|
if ( isset( $info[$setting] ) ) { |
|
@@ 272-279 (lines=8) @@
|
| 269 |
|
foreach ( [ 'ResourceModules', 'ResourceModuleSkinStyles' ] as $setting ) { |
| 270 |
|
if ( isset( $info[$setting] ) ) { |
| 271 |
|
foreach ( $info[$setting] as $name => $data ) { |
| 272 |
|
if ( isset( $data['localBasePath'] ) ) { |
| 273 |
|
if ( $data['localBasePath'] === '' ) { |
| 274 |
|
// Avoid double slashes (e.g. /extensions/Example//path) |
| 275 |
|
$data['localBasePath'] = $dir; |
| 276 |
|
} else { |
| 277 |
|
$data['localBasePath'] = "$dir/{$data['localBasePath']}"; |
| 278 |
|
} |
| 279 |
|
} |
| 280 |
|
if ( $defaultPaths ) { |
| 281 |
|
$data += $defaultPaths; |
| 282 |
|
} |
wikimedia /
mediawiki
