Automatically expire UserRoles

To ensure that people do not retain privileges on the website for
too long, `UserRole`s will not automatically expire on a specified
date.

module/User/src/Model/User.php

@@ -148,7 +148,7 @@ public function getMember(): MemberModel
     }
 
     /**
-     * Get the user's role names.
+     * Get the user's active role names.
      *
      * @return string[] Role names
      */
@@ -157,6 +157,10 @@ public function getRoleNames(): array
         $names = [];
 
         foreach ($this->getRoles() as $role) {
+            if (!$role->isActive()) {
+                continue;
+            }
+
             $names[] = $role->getRole()->value;
         }
 

module/User/src/Model/UserRole.php

@@ -5,6 +5,7 @@
 namespace User\Model;
 
 use Application\Model\Traits\IdentifiableTrait;
+use DateTime;
 use Doctrine\ORM\Mapping\Column;
 use Doctrine\ORM\Mapping\Entity;
 use Doctrine\ORM\Mapping\JoinColumn;
@@ -43,6 +44,15 @@ enumType: UserRoles::class,
     )]
     protected UserRoles $role;
 
+    /**
+     * Date after which this role has expired.
+     */
+    #[Column(
+        type: 'datetime',
+        nullable: true,
+    )]
+    protected ?DateTime $expiration = null;
+
     /**
      * Get the membership number.
      */
@@ -74,4 +84,13 @@ public function setRole(UserRoles $role): void
     {
         $this->role = $role;
     }
+
+    /**
+     * Determine whether this role is active (i.e. has not expired).
+     */
+    public function isActive(): bool
+    {
+        return null !== $this->expiration
+            && (new DateTime('now')) < $this->expiration;
+    }
 }