From 148b239f03add5134ecc832a40837bcc8039901f Mon Sep 17 00:00:00 2001 From: Daimona Eaytoy Date: Tue, 9 Jul 2019 10:33:03 +0200 Subject: [PATCH] Add fields and docs to WikiExporter Three fields were undeclared, thus raising some phan warnings. Change-Id: Ib7934b507cb69d29a3d2422dadc24b12207a12ad --- includes/export/WikiExporter.php | 16 ++++++++++++++-- 1 file changed, 14 insertions(+), 2 deletions(-) diff --git a/includes/export/WikiExporter.php b/includes/export/WikiExporter.php index f834fb1e5e..8b0ed00c51 100644 --- a/includes/export/WikiExporter.php +++ b/includes/export/WikiExporter.php @@ -67,6 +67,15 @@ class WikiExporter { /** @var XmlDumpWriter */ private $writer; + /** @var IDatabase */ + protected $db; + + /** @var array|int */ + protected $history; + + /** @var array|null */ + protected $limitNamespaces; + /** * Returns the default export schema version, as defined by $wgXmlDumpSchemaVersion. * @return string @@ -87,8 +96,11 @@ class WikiExporter { * @param null|array $limitNamespaces Comma-separated list of namespace numbers * to limit results */ - function __construct( $db, $history = self::CURRENT, $text = self::TEXT, - $limitNamespaces = null + function __construct( + $db, + $history = self::CURRENT, + $text = self::TEXT, + $limitNamespaces = null ) { $this->db = $db; $this->history = $history; -- 2.20.1