From 7f67fa7fc7ab71f667a6712498a975c651ce7b88 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Sun, 2 Dec 2018 19:21:44 +0100
Subject: [PATCH] Delete unused variable

Found by PHPStan.

Change-Id: I416069e4199e1cd3cf7a98a32cc1cb09c1525093
---
 includes/specials/SpecialExport.php | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/includes/specials/SpecialExport.php b/includes/specials/SpecialExport.php
index 513e7a96b8..ef61ac5b33 100644
--- a/includes/specials/SpecialExport.php
+++ b/includes/specials/SpecialExport.php
@@ -378,7 +378,6 @@ class SpecialExport extends SpecialPage {
 		}
 
 		/* Ok, let's get to it... */
-		$lb = false;
 		$db = wfGetDB( DB_REPLICA );
 
 		$exporter = new WikiExporter( $db, $history );
@@ -406,10 +405,6 @@ class SpecialExport extends SpecialPage {
 		}
 
 		$exporter->closeStream();
-
-		if ( $lb ) {
-			$lb->closeAll();
-		}
 	}
 
 	/**
-- 
2.20.1