A music player that connects to your cloud/distributed storage.
closes #401
+5
-3
+4
-2
src/Javascript/common.ts
+4
-2
src/Javascript/common.ts
···
34
34
}
35
35
36
36
37
-
export function fileExtension(mimeType) {
37
+
export function fileExtension(mimeType: string): string | undefined {
38
38
const audioId = mimeType.toLowerCase().split("/")[ 1 ]
39
39
40
40
switch (audioId) {
···
48
48
case "flac": return "flac";
49
49
case "x-flac": return "flac";
50
50
case "ogg": return "ogg";
51
+
case "opus": return "opus";
51
52
52
53
case "wav": return "wav";
53
54
case "wave": return "wav";
···
57
58
}
58
59
59
60
60
-
export function mimeType(fileExt) {
61
+
export function mimeType(fileExt: string): string | undefined {
61
62
switch (fileExt) {
62
63
case "mp3": return "audio/mpeg";
63
64
case "mp4": return "audio/mp4";
64
65
case "m4a": return "audio/mp4";
65
66
case "flac": return "audio/flac";
66
67
case "ogg": return "audio/ogg";
68
+
case "opus": return "audio/opus";
67
69
case "wav": return "audio/wave";
68
70
case "webm": return "audio/webm";
69
71
}
+1
-1
src/Library/Sources/Pick.elm
+1
-1
src/Library/Sources/Pick.elm