| Index: trunk/extensions/FlaggedRevs/FlaggedRevs.php |
| — | — | @@ -246,7 +246,7 @@ |
| 247 | 247 | $wgAvailableRights[] = 'stablesettings'; |
| 248 | 248 | |
| 249 | 249 | # Bump this number every time you change flaggedrevs.css/flaggedrevs.js |
| 250 | | -$wgFlaggedRevStyleVersion = 84; |
| | 250 | +$wgFlaggedRevStyleVersion = 85; |
| 251 | 251 | |
| 252 | 252 | $wgExtensionFunctions[] = 'efLoadFlaggedRevs'; |
| 253 | 253 | |