X-Git-Url: https://git.cyclocoop.org/%27.WWW_URL.%27admin/?a=blobdiff_plain;f=includes%2Fsession%2FUserInfo.php;h=f5145a3f41f0eeaceca6b7052487abce387d5f2b;hb=5b8a12363dea7640a9e59234cd64d5b890762982;hp=c01b9eca9d4ed3eb030ca53cc3bacdf4be72100a;hpb=f9d7d3b8561dab3ddfd8798a77a5b72e03ac8c2b;p=lhc%2Fweb%2Fwiklou.git

diff --git a/includes/session/UserInfo.php b/includes/session/UserInfo.php
index c01b9eca9d..f5145a3f41 100644
--- a/includes/session/UserInfo.php
+++ b/includes/session/UserInfo.php
@@ -49,6 +49,7 @@ use User;
  * @since 1.27
  */
 final class UserInfo {
+	/** @var bool */
 	private $verified = false;
 
 	/** @var User|null */