X-Git-Url: https://git.heureux-cyclage.org/?a=blobdiff_plain;f=includes%2Fsession%2FUserInfo.php;h=f5145a3f41f0eeaceca6b7052487abce387d5f2b;hb=11bf698158125bdbde2111f3c53dab528e4109e0;hp=c01b9eca9d4ed3eb030ca53cc3bacdf4be72100a;hpb=69cc66efeb9379b3ed5ae53250865ae25f2b745d;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 */