| Index: trunk/extensions/FlaggedRevs/FlaggedRevs.php |
| — | — | @@ -250,7 +250,7 @@ |
| 251 | 251 | $wgAvailableRights[] = 'stablesettings'; |
| 252 | 252 | |
| 253 | 253 | # Bump this number every time you change flaggedrevs.css/flaggedrevs.js |
| 254 | | -$wgFlaggedRevStyleVersion = 82; |
| | 254 | +$wgFlaggedRevStyleVersion = 83; |
| 255 | 255 | |
| 256 | 256 | $wgExtensionFunctions[] = 'efLoadFlaggedRevs'; |
| 257 | 257 | |