| Index: trunk/extensions/UsabilityInitiative/css/wikiEditor.highlight.css |
| — | — | @@ -1,6 +1,8 @@ |
| 2 | 2 | /* CSS for highlight module. Note that this CSS is loaded in the iframe, |
| 3 | 3 | * not in the main document. For that reason, it's also not in the combined and |
| 4 | 4 | * minified files. |
| | 5 | + * |
| | 6 | + * When you edit this please update the style version in js/plugins/jquery.wikiEditor.highlight.js |
| 5 | 7 | */ |
| 6 | 8 | |
| 7 | 9 | /* Wikitext that's folded away and shouldn't be displayed */ |
| Index: trunk/extensions/UsabilityInitiative/js/plugins/jquery.wikiEditor.highlight.js |
| — | — | @@ -2,6 +2,12 @@ |
| 3 | 3 | ( function( $ ) { $.wikiEditor.modules.highlight = { |
| 4 | 4 | |
| 5 | 5 | /** |
| | 6 | + * Configuration |
| | 7 | + */ |
| | 8 | +cfg: { |
| | 9 | + 'styleVersion': 2 |
| | 10 | +}, |
| | 11 | +/** |
| 6 | 12 | * Internally used event handlers |
| 7 | 13 | */ |
| 8 | 14 | evt: { |
| — | — | @@ -40,7 +46,8 @@ |
| 41 | 47 | context.$content.parent().find( 'head' ).append( $j( '<link />' ).attr( { |
| 42 | 48 | 'rel': 'stylesheet', |
| 43 | 49 | 'type': 'text/css', |
| 44 | | - 'href': wgScriptPath + '/extensions/UsabilityInitiative/css/wikiEditor.highlight.css?1', |
| | 50 | + 'href': wgScriptPath + '/extensions/UsabilityInitiative/css/wikiEditor.highlight.css?' + |
| | 51 | + $.wikiEditor.modules.highlight.cfg.styleVersion, |
| 45 | 52 | } ) ); |
| 46 | 53 | // Highlight stuff for the first time |
| 47 | 54 | $.wikiEditor.modules.highlight.fn.scan( context, "" ); |