Delete unused variable

Found by PHPStan.

Change-Id: I416069e4199e1cd3cf7a98a32cc1cb09c1525093

diff --git a/includes/specials/SpecialExport.php b/includes/specials/SpecialExport.php
index 513e7a9..ef61ac5 100644 (file)
--- 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();
-               }
        }
 
        /**