From 6ab82ec939516cc219352a03059f59eff6838190 Mon Sep 17 00:00:00 2001 From: Boy132 Date: Tue, 22 Jul 2025 16:05:57 +0200 Subject: [PATCH] remove old phpdocs --- app/Models/User.php | 2 -- 1 file changed, 2 deletions(-) diff --git a/app/Models/User.php b/app/Models/User.php index 0e8f33ae3..5ed882464 100644 --- a/app/Models/User.php +++ b/app/Models/User.php @@ -66,8 +66,6 @@ use Spatie\Permission\Traits\HasRoles; * @property string $name * @property DatabaseNotificationCollection|DatabaseNotification[] $notifications * @property int|null $notifications_count - * @property \Illuminate\Database\Eloquent\Collection|RecoveryToken[] $recoveryTokens - * @property int|null $recovery_tokens_count * @property \Illuminate\Database\Eloquent\Collection|Server[] $servers * @property int|null $servers_count * @property \Illuminate\Database\Eloquent\Collection|UserSSHKey[] $sshKeys