Make WatchedItem members private
authoraddshore <addshorewiki@gmail.com>
Fri, 29 Jan 2016 19:39:23 +0000 (20:39 +0100)
committeraddshore <addshorewiki@gmail.com>
Fri, 29 Jan 2016 19:39:23 +0000 (20:39 +0100)
These are only used in this class

Change-Id: I492e7f5b0611f8928b352af983f18f5184bc54bf

includes/WatchedItem.php

index 0ef2373..b28e854 100644 (file)
  */
 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;