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
protected $mWiki = false;
/** @var int|null */
protected $mId;
protected $mWiki = false;
/** @var int|null */
protected $mId;
protected $mPageId;
/** @var UserIdentity|null */
protected $mUser;
protected $mPageId;
/** @var UserIdentity|null */
protected $mUser;