| Index: trunk/extensions/FlaggedRevs/FlaggedRevs.php |
| — | — | @@ -177,7 +177,7 @@ |
| 178 | 178 | ######### |
| 179 | 179 | |
| 180 | 180 | # Bump this number every time you change flaggedrevs.css/flaggedrevs.js |
| 181 | | -$wgFlaggedRevStyleVersion = 14; |
| | 181 | +$wgFlaggedRevStyleVersion = 15; |
| 182 | 182 | |
| 183 | 183 | $wgExtensionFunctions[] = 'efLoadFlaggedRevs'; |
| 184 | 184 | |
| Index: trunk/extensions/FlaggedRevs/flaggedrevs.css |
| — | — | @@ -183,6 +183,7 @@ |
| 184 | 184 | /* Both User Interfaces */ |
| 185 | 185 | .flaggedrevs_toggle { |
| 186 | 186 | color: blue; |
| | 187 | + white-space: no-wrap; |
| 187 | 188 | } |
| 188 | 189 | |
| 189 | 190 | .fr-icon-current, |