| Index: trunk/phase3/includes/DefaultSettings.php |
| — | — | @@ -1655,7 +1655,7 @@ |
| 1656 | 1656 | * to ensure that client-side caches do not keep obsolete copies of global |
| 1657 | 1657 | * styles. |
| 1658 | 1658 | */ |
| 1659 | | -$wgStyleVersion = '258'; |
| | 1659 | +$wgStyleVersion = '259'; |
| 1660 | 1660 | |
| 1661 | 1661 | |
| 1662 | 1662 | # Server-side caching: |
| Index: trunk/phase3/js2/js2stopgap.js |
| — | — | @@ -1057,7 +1057,7 @@ |
| 1058 | 1058 | return letter.toUpperCase(); |
| 1059 | 1059 | }); |
| 1060 | 1060 | |
| 1061 | | - if ( set && value != 'NaNpx' ) |
| | 1061 | + if ( set && value != 'NaNpx' ) // Patched by Trevor, see http://is.gd/5NXiD |
| 1062 | 1062 | elem[ name ] = value; |
| 1063 | 1063 | |
| 1064 | 1064 | return elem[ name ]; |