| Index: trunk/phase3/skins/common/wikibits.js |
| — | — | @@ -73,8 +73,14 @@ |
| 74 | 74 | return importStylesheetURI(wgScript + '?action=raw&ctype=text/css&title=' + encodeURIComponent(page.replace(/ /g,'_'))); |
| 75 | 75 | } |
| 76 | 76 | |
| 77 | | -function importStylesheetURI(url) { |
| 78 | | - return document.createStyleSheet ? document.createStyleSheet(url) : appendCSS('@import "' + url + '";'); |
| | 77 | +function importStylesheetURI(url,media) { |
| | 78 | + var l = document.createElement('link'); |
| | 79 | + l.type = 'text/css'; |
| | 80 | + l.rel = 'stylesheet'; |
| | 81 | + l.href = url; |
| | 82 | + if(media) l.media = media |
| | 83 | + document.getElementsByTagName('head')[0].appendChild(l); |
| | 84 | + return l; |
| 79 | 85 | } |
| 80 | 86 | |
| 81 | 87 | function appendCSS(text) { |
| Index: trunk/phase3/includes/DefaultSettings.php |
| — | — | @@ -1523,7 +1523,7 @@ |
| 1524 | 1524 | * to ensure that client-side caches do not keep obsolete copies of global |
| 1525 | 1525 | * styles. |
| 1526 | 1526 | */ |
| 1527 | | -$wgStyleVersion = '228'; |
| | 1527 | +$wgStyleVersion = '229'; |
| 1528 | 1528 | |
| 1529 | 1529 | |
| 1530 | 1530 | # Server-side caching: |