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)
commitade1921eca38b2b09b12acdd2be96a8c11d12aec
tree4823aeae9c3935c4947663fce5e05698c2b47497
parentca8678e23815a6fe8e71e897b4654cbd17a4447d
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