Remove (seemingly?) useless code. Feel free to revert if I'm missing something here...

diff --git a/includes/specials/SpecialContributions.php b/includes/specials/SpecialContributions.php
index 34c93d2..24a8cae 100644 (file)
--- a/includes/specials/SpecialContributions.php
+++ b/includes/specials/SpecialContributions.php
@@ -232,9 +232,6 @@ function wfSpecialContributions( $par = null ) {
        } else {
                $options['namespace'] = '';
        }
-       if ( $wgUser->isAllowed( 'markbotedit' ) && $wgRequest->getBool( 'bot' ) ) {
-               $options['bot'] = '1';
-       }
 
        $skip = $wgRequest->getText( 'offset' ) || $wgRequest->getText( 'dir' ) == 'prev';
        # Offset overrides year/month selection