Merge "phpunit: Add more info to LocalSettings.php error in MediaWikiIntegrationTestCase"

[lhc/web/wiklou.git] / maintenance / importDump.php

diff --git a/maintenance/importDump.php b/maintenance/importDump.php
index c2c5ccf..0ff3622 100644 (file)
--- a/maintenance/importDump.php
+++ b/maintenance/importDump.php
@@ -41,6 +41,7 @@ class BackupReader extends Maintenance {
        public $uploads = false;
        protected $uploadCount = 0;
        public $imageBasePath = false;
+       /** @var array|false */
        public $nsFilter = false;
 
        function __construct() {