Fix namespace

Author: tvdijen

composer.json

@@ -11,6 +11,11 @@
             "*": "dist"
         }
     },
+    "autoload": {
+        "psr-4": {
+            "Simplesamlphp\\Module\\casserver\\": "lib"
+        }
+    },
     "autoload-dev": {
         "psr-4": {
             "Simplesamlphp\\Casserver\\": "tests/lib"

tests/lib/TicketValidatorTest.php

@@ -20,7 +20,7 @@ class TicketValidatorTest extends TestCase
     private TicketValidator $ticketValidator;
 
     /**
-     * @var \SimpleSAML\Module\casserver\Cas\TicketStore
+     * @var \SimpleSAML\Module\casserver\Cas\Ticket\TicketStore
      */
     private TicketStore $ticketStore;