| Index: trunk/phase3/skins/common/oldshared.css |
| — | — | @@ -144,6 +144,9 @@ |
| 145 | 145 | } |
| 146 | 146 | |
| 147 | 147 | /* preference page with js-genrated toc */ |
| | 148 | +#mw-pref-clear { |
| | 149 | + clear: both; |
| | 150 | +} |
| 148 | 151 | #preftoc { |
| 149 | 152 | float: left; |
| 150 | 153 | margin: 1em 1em 1em 1em; |
| Index: trunk/phase3/includes/DefaultSettings.php |
| — | — | @@ -1578,7 +1578,7 @@ |
| 1579 | 1579 | * to ensure that client-side caches do not keep obsolete copies of global |
| 1580 | 1580 | * styles. |
| 1581 | 1581 | */ |
| 1582 | | -$wgStyleVersion = '233'; |
| | 1582 | +$wgStyleVersion = '234'; |
| 1583 | 1583 | |
| 1584 | 1584 | |
| 1585 | 1585 | # Server-side caching: |
| Index: trunk/phase3/includes/specials/SpecialPreferences.php |
| — | — | @@ -30,7 +30,7 @@ |
| 31 | 31 | |
| 32 | 32 | if ( $wgRequest->getCheck( 'success' ) ) { |
| 33 | 33 | $wgOut->wrapWikiMsg( |
| 34 | | - '<div class="successbox"><strong>$1</strong></div>', |
| | 34 | + '<div class="successbox"><strong>$1</strong></div><div id="mw-pref-clear"></div>', |
| 35 | 35 | 'savedprefs' |
| 36 | 36 | ); |
| 37 | 37 | } |