| Index: trunk/extensions/FlaggedRevs/FlaggedRevs.php |
| — | — | @@ -253,6 +253,7 @@ |
| 254 | 254 | $wgAvailableRights[] = 'patrolmarks'; |
| 255 | 255 | $wgAvailableRights[] = 'unreviewedpages'; |
| 256 | 256 | $wgAvailableRights[] = 'movestable'; |
| | 257 | +$wgAvailableRights[] = 'stablesettings'; |
| 257 | 258 | |
| 258 | 259 | # Bump this number every time you change flaggedrevs.css/flaggedrevs.js |
| 259 | 260 | $wgFlaggedRevStyleVersion = 55; |