Add Marvin to the list of autodetected OPDS client

index.php

@@ -19,7 +19,7 @@
     require_once ("resources/doT-php/doT.php");
 
     // If we detect that an OPDS reader try to connect try to redirect to feed.php
-    if (preg_match("/(MantanoReader|FBReader|Stanza|Aldiko|Moon+ Reader)/", $_SERVER['HTTP_USER_AGENT'])) {
+    if (preg_match("/(MantanoReader|FBReader|Stanza|Marvin|Aldiko|Moon+ Reader)/", $_SERVER['HTTP_USER_AGENT'])) {
         header("location: feed.php");
         exit ();
     }