Dynamic number of players

2026-01-08 15:49:47 +01:00
parent f8746207e6
commit 8e933631b2
8 changed files with 204 additions and 114 deletions
--- a/src/Game/Entity/Player.php
+++ b/src/Game/Entity/Player.php
@@ -23,7 +23,7 @@ class Player
    #[ORM\JoinColumn(nullable: false)]
    private ?User $user = null;

-    #[ORM\Column]
+    #[ORM\Column(nullable: true)]
    private ?int $screen = null;

    public function getId(): ?int