Deal with trailing whitespace in media types

lib/Misc/HTTP.php

@@ -12,7 +12,7 @@ class HTTP {
     public static function matchType(MessageInterface $msg, string ...$type): bool {
         $header = $msg->getHeaderLine("Content-Type") ?? "";
         foreach ($type as $t) {
-            $pattern = "/^".preg_quote(trim($t), "/")."($|;|,)/i";
+            $pattern = "/^".preg_quote(trim($t), "/")."\s*($|;|,)/i";
             if (preg_match($pattern, $header)) {
                 return true;
             }

tests/cases/Misc/TestHTTP.php

@@ -27,6 +27,7 @@ class TestHTTP extends \JKingWeb\Arsse\Test\AbstractTest {
             ["text/json; charset=utf-8", ["application/json", "text/json"], true],
             ["",                         ["application/json"],              false],
             ["",                         ["application/json", ""],          true],
+            ["application/json ;",       ["application/json"],              true],
         ];
     }
 }