Fix documentation for RevisionRecord::$mPageId
authorThiemo Kreuz <thiemo.kreuz@wikimedia.de>
Tue, 15 Jan 2019 13:42:50 +0000 (14:42 +0100)
committerThiemo Kreuz <thiemo.kreuz@wikimedia.de>
Tue, 15 Jan 2019 13:42:50 +0000 (14:42 +0100)
As far as I can see this is impossible to be null. The getPageId()
method that returns this value is documented to "@return int" only.

Introduced in I140f43a. That was the patch that introduced this class.

Bug: T174025
Change-Id: Iae4fa5410537504e0dd354b463be3b371e4cad76

includes/Revision/RevisionRecord.php

index 1a7831b..95749c5 100644 (file)
@@ -62,7 +62,7 @@ abstract class RevisionRecord {
        protected $mWiki = false;
        /** @var int|null */
        protected $mId;
-       /** @var int|null */
+       /** @var int */
        protected $mPageId;
        /** @var UserIdentity|null */
        protected $mUser;