| Index: trunk/phase3/includes/specials/SpecialContributions.php |
| — | — | @@ -232,6 +232,12 @@ |
| 233 | 233 | } else { |
| 234 | 234 | $options['namespace'] = ''; |
| 235 | 235 | } |
| | 236 | + |
| | 237 | + // Allows reverts to have the bot flag in recent changes. It is just here to |
| | 238 | + // be passed in the form at the top of the page |
| | 239 | + if ( $wgUser->isAllowed( 'markbotedit' ) && $wgRequest->getBool( 'bot' ) ) { |
| | 240 | + $options['bot'] = '1'; |
| | 241 | + } |
| 236 | 242 | |
| 237 | 243 | $skip = $wgRequest->getText( 'offset' ) || $wgRequest->getText( 'dir' ) == 'prev'; |
| 238 | 244 | # Offset overrides year/month selection |