From 3215cd2cfae9b81de7b83904c76cb94c87cc28e1 Mon Sep 17 00:00:00 2001
From: Kosta Harlan <kharlan@wikimedia.org>
Date: Thu, 3 Jan 2019 21:37:21 -0500
Subject: [PATCH] DeletedContribsPager: Add getters for properties accessed by
 Flow

Bug: T212771
Follows-Up: I35dad85740cae47877e9eb62d179b1412099aad1
Change-Id: I9d324217cacc2d731945975b7066d4c17bd915fb
---
 .../specials/pagers/DeletedContribsPager.php  | 33 +++++++++++++++++++
 1 file changed, 33 insertions(+)

diff --git a/includes/specials/pagers/DeletedContribsPager.php b/includes/specials/pagers/DeletedContribsPager.php
index 7a8f2974ab..fa0fbf3520 100644
--- a/includes/specials/pagers/DeletedContribsPager.php
+++ b/includes/specials/pagers/DeletedContribsPager.php
@@ -29,10 +29,29 @@ use Wikimedia\Rdbms\FakeResultWrapper;
 
 class DeletedContribsPager extends IndexPager {
 
+	/**
+	 * @var bool Default direction for pager
+	 */
 	public $mDefaultDirection = IndexPager::DIR_DESCENDING;
+
+	/**
+	 * @var string[] Local cache for escaped messages
+	 */
 	public $messages;
+
+	/**
+	 * @var string User name, or a string describing an IP address range
+	 */
 	public $target;
+
+	/**
+	 * @var string|int A single namespace number, or an empty string for all namespaces
+	 */
 	public $namespace = '';
+
+	/**
+	 * @var \Wikimedia\Rdbms\Database
+	 */
 	public $mDb;
 
 	/**
@@ -139,6 +158,20 @@ class DeletedContribsPager extends IndexPager {
 		return 'ar_timestamp';
 	}
 
+	/**
+	 * @return string
+	 */
+	public function getTarget() {
+		return $this->target;
+	}
+
+	/**
+	 * @return int|string
+	 */
+	public function getNamespace() {
+		return $this->namespace;
+	}
+
 	protected function getStartBody() {
 		return "<ul>\n";
 	}
-- 
2.20.1