Index: branches/wmf/1.17wmf1/includes/OutputPage.php |
— | — | @@ -2403,7 +2403,7 @@ |
2404 | 2404 | continue; |
2405 | 2405 | } |
2406 | 2406 | |
2407 | | - $query['modules'] = implode( '|', array_keys( $modules ) ); |
| 2407 | + $query['modules'] = str_replace( '.', '!', implode( '|', array_keys( $modules ) ) ); |
2408 | 2408 | |
2409 | 2409 | // Support inlining of private modules if configured as such |
2410 | 2410 | if ( $group === 'private' && $wgResourceLoaderInlinePrivateModules ) { |
Index: branches/wmf/1.17wmf1/includes/resourceloader/ResourceLoaderContext.php |
— | — | @@ -51,7 +51,7 @@ |
52 | 52 | // Interpret request |
53 | 53 | // List of modules |
54 | 54 | $modules = $request->getVal( 'modules' ); |
55 | | - $this->modules = $modules ? explode( '|', $modules ) : array(); |
| 55 | + $this->modules = $modules ? explode( '|', str_replace( '!', '.', $modules ) ) : array(); |
56 | 56 | // Various parameters |
57 | 57 | $this->skin = $request->getVal( 'skin' ); |
58 | 58 | $this->user = $request->getVal( 'user' ); |
Index: branches/wmf/1.17wmf1/resources/mediawiki/mediawiki.js |
— | — | @@ -823,7 +823,7 @@ |
824 | 824 | } |
825 | 825 | } |
826 | 826 | requests[requests.length] = $.extend( |
827 | | - { 'modules': groups[group].join( '|' ), 'version': formatVersionNumber( version ) }, base |
| 827 | + { 'modules': groups[group].join( '|' ).replace( /\./g, '!' ), 'version': formatVersionNumber( version ) }, base |
828 | 828 | ); |
829 | 829 | } |
830 | 830 | // Clear the batch - this MUST happen before we append the |