--- a/Core/SystemToolbox.cpp	Sat Dec 08 11:54:14 2018 +0100
+++ b/Core/SystemToolbox.cpp	Sat Dec 08 20:59:37 2018 +0100
@@ -649,7 +649,8 @@
     {
       return MimeType_JavaScript;
     }
-    else if (extension == ".json")
+    else if (extension == ".json" ||
+             extension == ".nmf"  /* manifest */)
     {
       return MimeType_Json;
     }
@@ -661,6 +662,14 @@
     {
       return MimeType_WebAssembly;
     }
+    else if (extension == ".nexe")
+    {
+      return MimeType_NaCl;
+    }
+    else if (extension == ".pexe")
+    {
+      return MimeType_PNaCl;
+    }
 
     // Images types
     else if (extension == ".jpg" ||
@@ -680,8 +689,21 @@
     {
       return MimeType_Pam;
     }
+    else if (extension == ".svg")
+    {
+      return MimeType_Svg;
+    }
+
+    // Various types
+    else if (extension == ".woff")
+    {
+      return MimeType_Woff;
+    }
+
+    // Default type
     else
     {
+      LOG(INFO) << "Unknown MIME type for extension \"" << extension << "\"";
       return MimeType_Binary;
     }
   }