From ade1921eca38b2b09b12acdd2be96a8c11d12aec Mon Sep 17 00:00:00 2001 From: Thiemo Kreuz Date: Tue, 15 Jan 2019 14:42:50 +0100 Subject: [PATCH] Fix documentation for RevisionRecord::$mPageId 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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/Revision/RevisionRecord.php b/includes/Revision/RevisionRecord.php index 1a7831b5f4..95749c5643 100644 --- a/includes/Revision/RevisionRecord.php +++ b/includes/Revision/RevisionRecord.php @@ -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; -- 2.20.1