From 8d28f06dc90f4c0503f434d7553cf1ed56c4a257 Mon Sep 17 00:00:00 2001 From: Chad Horohoe Date: Thu, 7 Aug 2008 01:22:19 +0000 Subject: [PATCH] Remove (seemingly?) useless code. Feel free to revert if I'm missing something here...but I really think this does _nothing_ --- includes/specials/SpecialContributions.php | 3 --- 1 file changed, 3 deletions(-) diff --git a/includes/specials/SpecialContributions.php b/includes/specials/SpecialContributions.php index 34c93d220d..24a8cae529 100644 --- 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 -- 2.20.1