| Index: trunk/phase3/skins/common/wikibits.js |
| — | — | @@ -145,7 +145,9 @@ |
| 146 | 146 | var toggleLink = document.createElement( 'a' ); |
| 147 | 147 | toggleLink.id = 'togglelink'; |
| 148 | 148 | toggleLink.className = 'internal'; |
| 149 | | - toggleLink.href = 'javascript:toggleToc()'; |
| | 149 | + toggleLink.href = '#'; |
| | 150 | + toggleLink.onclick = toggleToc; |
| | 151 | + |
| 150 | 152 | toggleLink.appendChild( document.createTextNode( tocHideText ) ); |
| 151 | 153 | |
| 152 | 154 | outerSpan.appendChild( document.createTextNode( '[' ) ); |
| — | — | @@ -187,6 +189,7 @@ |
| 188 | 190 | document.cookie = "hidetoc=1"; |
| 189 | 191 | tocmain.className = 'toc tochidden'; |
| 190 | 192 | } |
| | 193 | + return false; |
| 191 | 194 | } |
| 192 | 195 | |
| 193 | 196 | var mwEditButtons = []; |
| Index: trunk/phase3/includes/DefaultSettings.php |
| — | — | @@ -1676,7 +1676,7 @@ |
| 1677 | 1677 | * to ensure that client-side caches do not keep obsolete copies of global |
| 1678 | 1678 | * styles. |
| 1679 | 1679 | */ |
| 1680 | | -$wgStyleVersion = '284'; |
| | 1680 | +$wgStyleVersion = '285'; |
| 1681 | 1681 | |
| 1682 | 1682 | |
| 1683 | 1683 | # Server-side caching: |