| Index: trunk/extensions/FlaggedRevs/FlaggedRevs.php |
| — | — | @@ -255,7 +255,7 @@ |
| 256 | 256 | $wgAvailableRights[] = 'stablesettings'; |
| 257 | 257 | |
| 258 | 258 | # Bump this number every time you change flaggedrevs.css/flaggedrevs.js |
| 259 | | -$wgFlaggedRevStyleVersion = '78'; |
| | 259 | +$wgFlaggedRevStyleVersion = '79'; |
| 260 | 260 | |
| 261 | 261 | $wgExtensionFunctions[] = 'efLoadFlaggedRevs'; |
| 262 | 262 | |