| Index: trunk/phase3/skins/common/wikibits.js |
| — | — | @@ -610,7 +610,7 @@ |
| 611 | 611 | } |
| 612 | 612 | |
| 613 | 613 | // Now deal with evil deprecated ta |
| 614 | | - watchCheckboxExists = document.getElementById( 'wpWatchthis' ) ? true : false; |
| | 614 | + var watchCheckboxExists = document.getElementById( 'wpWatchthis' ) ? true : false; |
| 615 | 615 | for (var id in ta) { |
| 616 | 616 | var n = document.getElementById(id); |
| 617 | 617 | if (n) { |
| Index: trunk/phase3/includes/DefaultSettings.php |
| — | — | @@ -1105,7 +1105,7 @@ |
| 1106 | 1106 | * to ensure that client-side caches don't keep obsolete copies of global |
| 1107 | 1107 | * styles. |
| 1108 | 1108 | */ |
| 1109 | | -$wgStyleVersion = '50'; |
| | 1109 | +$wgStyleVersion = '51'; |
| 1110 | 1110 | |
| 1111 | 1111 | |
| 1112 | 1112 | # Server-side caching: |