wikimedia / mediawiki

			# ignore local groups with the bot right

			# @todo FIXME: Global groups may have 'bot' rights

			$groupsWithBotPermission = User::getGroupsWithPermission( 'bot' );

			if ( count( $groupsWithBotPermission ) ) {

				$tables[] = 'user_groups';

				$condition[] = 'ug_group IS NULL';

				$join_conds['user_groups'] = [

					'LEFT JOIN', [

						'ug_user = rev_user',

						'ug_group' => $groupsWithBotPermission

					]

				];

			}

		} else {

			$uid = User::idFromName( $this->target );

			if ( $uid ) {

		$fields = [ 'img_name', 'img_user', 'img_timestamp' ];

		$options = [];

		if ( !$this->showBots ) {

			$groupsWithBotPermission = User::getGroupsWithPermission( 'bot' );

			if ( count( $groupsWithBotPermission ) ) {

				$tables[] = 'user_groups';

				$conds[] = 'ug_group IS NULL';

				$jconds['user_groups'] = [

					'LEFT JOIN',

					[

						'ug_group' => $groupsWithBotPermission,

						'ug_user = img_user'

					]

				];

			}

		}

		if ( $this->hidePatrolled ) {

			$tables[] = 'recentchanges';