fix a bunch of lints

2019-05-28 20:27:23 +01:00
parent 294f5845b1
commit 2396ae2ef9
34 changed files with 67 additions and 88 deletions
--- a/ext/user/main.php
+++ b/ext/user/main.php
@@ -21,7 +21,7 @@ class UserBlockBuildingEvent extends Event

 class UserPageBuildingEvent extends Event
 {
-    /** @var \User */
+    /** @var User */
    public $display_user;
    /** @var array  */
    public $stats = [];