From 75c530095e5161bbe2ee3832acc68d8c873e1090 Mon Sep 17 00:00:00 2001
From: addshore <addshorewiki@gmail.com>
Date: Fri, 29 Jan 2016 20:39:23 +0100
Subject: [PATCH] Make WatchedItem members private

These are only used in this class

Change-Id: I492e7f5b0611f8928b352af983f18f5184bc54bf
---
 includes/WatchedItem.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/includes/WatchedItem.php b/includes/WatchedItem.php
index 0ef2373783..b28e854c5f 100644
--- a/includes/WatchedItem.php
+++ b/includes/WatchedItem.php
@@ -28,13 +28,13 @@
  */
 class WatchedItem {
 	/** @var Title */
-	public $mTitle;
+	private $mTitle;
 
 	/** @var User */
-	public $mUser;
+	private $mUser;
 
 	/** @var int */
-	public $mCheckRights;
+	private $mCheckRights;
 
 	/** @var bool */
 	private $loaded = false;
-- 
2.20.1