add missing property-reads

ppy · Jan 20, 2025 · 0bb20d7 · 0bb20d7
1 parent 866501e
commit 0bb20d7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/app/Models/Season.php b/app/Models/Season.php
@@ -14,6 +14,7 @@
 use Illuminate\Database\Eloquent\Relations\HasMany;
 
 /**
+ * @property-read Collection<Division> $divisions
  * @property bool $finalised
  * @property string $name
  * @property-read Collection<Multiplayer\Room> $rooms

diff --git a/app/Models/UserSeasonScoreAggregate.php b/app/Models/UserSeasonScoreAggregate.php
@@ -16,6 +16,7 @@
  * @property-read Season $season
  * @property int $season_id
  * @property float $total_score
+ * @property-read User $user
  * @property int $user_id
  */
 class UserSeasonScoreAggregate extends Model