Merge "Make WatchedItem members private"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 29 Jan 2016 19:59:56 +0000 (19:59 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 29 Jan 2016 19:59:56 +0000 (19:59 +0000)
includes/WatchedItem.php

index e2d626f..49aca0c 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;