Merge "Make ForeignTitle properties private"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 26 Jan 2016 22:33:52 +0000 (22:33 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 26 Jan 2016 22:33:52 +0000 (22:33 +0000)
includes/title/ForeignTitle.php

index ed96d17..6e6f2ea 100644 (file)
@@ -30,11 +30,11 @@ class ForeignTitle {
         * @var int|null
         * Null if we don't know the namespace ID (e.g. interwiki links)
         */
-       protected $namespaceId;
+       private $namespaceId;
        /** @var string */
-       protected $namespaceName;
+       private $namespaceName;
        /** @var string */
-       protected $pageName;
+       private $pageName;
 
        /**
         * Creates a new ForeignTitle object.