diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2013-08-12 09:28:15 +0200 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2013-08-12 09:28:15 +0200 |
commit | 08aa4418c30cfc18ccc69a0f0f9cb9e17be6c196 (patch) | |
tree | 577a29fb579188d16003a209ce2a2e9c5b0aa2bd /maintenance/importDump.php | |
parent | cacc939b34e315b85e2d72997811eb6677996cc1 (diff) |
Update to MediaWiki 1.21.1
Diffstat (limited to 'maintenance/importDump.php')
-rw-r--r-- | maintenance/importDump.php | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/maintenance/importDump.php b/maintenance/importDump.php index f51d7ad7..904b6247 100644 --- a/maintenance/importDump.php +++ b/maintenance/importDump.php @@ -32,13 +32,13 @@ require_once( __DIR__ . '/Maintenance.php' ); * @ingroup Maintenance */ class BackupReader extends Maintenance { - var $reportingInterval = 100; - var $pageCount = 0; - var $revCount = 0; - var $dryRun = false; - var $uploads = false; - var $imageBasePath = false; - var $nsFilter = false; + public $reportingInterval = 100; + public $pageCount = 0; + public $revCount = 0; + public $dryRun = false; + public $uploads = false; + public $imageBasePath = false; + public $nsFilter = false; function __construct() { parent::__construct(); |