This commit is contained in:
Swrup 2025-09-28 19:57:49 +02:00
parent 37b5dd7216
commit d16c8efbf6
2 changed files with 12 additions and 10 deletions

View file

@ -1,9 +1,3 @@
(* TODO Taler documentation
markdown mimetype should be the prefered one, and be supported, according to DD
we take text/plain as default instead for now *)
let default_mimetype = ("text", "plain")
let default_extension = ".txt"
let mimetype_ext_assoc =
[
(("text", "plain"), ".txt"); (("text", "markdown"), ".md")
@ -22,7 +16,7 @@ let media_to_known_mimetype = function
List.find_opt (( = ) (m, m_sub)) all_known_mimetypes
| AnyMediaSubtype m ->
List.find_opt (fun (m', _) -> String.equal m m') all_known_mimetypes
| AnyMedia -> Some default_mimetype
| AnyMedia -> Some Config.default_mimetype
let mimetype_to_extension (m, m_sub) =
assert (m <> "*");