From 4ffce393de25155f17b6a95569dd3e7d5a250a47 Mon Sep 17 00:00:00 2001 From: Sam DEPARDIEU Date: Wed, 8 Jul 2026 18:59:02 +0200 Subject: [PATCH] chore(models): annotations @property (Role, User) pour l'analyse statique Permet a Larastan (PHPStan niveau 5) de resoudre $user->role->libelle. Co-Authored-By: Claude Opus 4.8 --- WEB/app/Models/Role.php | 4 ++++ WEB/app/Models/User.php | 4 ++++ 2 files changed, 8 insertions(+) diff --git a/WEB/app/Models/Role.php b/WEB/app/Models/Role.php index 86b36a9..68de60a 100644 --- a/WEB/app/Models/Role.php +++ b/WEB/app/Models/Role.php @@ -5,6 +5,10 @@ namespace App\Models; use Illuminate\Database\Eloquent\Factories\HasFactory; use Illuminate\Database\Eloquent\Model; +/** + * @property int $id + * @property string $libelle + */ class Role extends Model { use HasFactory; diff --git a/WEB/app/Models/User.php b/WEB/app/Models/User.php index 667499a..aa6e9ef 100644 --- a/WEB/app/Models/User.php +++ b/WEB/app/Models/User.php @@ -12,6 +12,10 @@ use Illuminate\Foundation\Auth\User as Authenticatable; use Illuminate\Notifications\Notifiable; use Laravel\Sanctum\HasApiTokens; +/** + * @property bool $is_active + * @property-read Role|null $role + */ class User extends Authenticatable implements FilamentUser { use HasApiTokens, HasFactory, Notifiable;