From fd135cf73e94dafd5384bae107aa805f2f21380d Mon Sep 17 00:00:00 2001
From: wm4 <wm4@nowhere>
Date: Tue, 8 Aug 2017 11:37:04 +0200
Subject: [PATCH] player: readd smi subtitle extension

Fixes #4626. Previously removed because the original smi entry was added
by someone who did not agree to LGPL relicensing. I'm not sure if the
original change was copyrightable, but this commit for sure does not
fall under that author's copyright.
---
 player/external_files.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/player/external_files.c b/player/external_files.c
index 68d0915c6c..f55e52b637 100644
--- a/player/external_files.c
+++ b/player/external_files.c
@@ -34,7 +34,7 @@
 
 static const char *const sub_exts[] = {"utf", "utf8", "utf-8", "idx", "sub",
                                        "srt", "rt", "ssa", "ass", "mks", "vtt",
-                                       "sup", "scc",
+                                       "sup", "scc", "smi",
                                        NULL};
 
 static const char *const audio_exts[] = {"mp3", "aac", "mka", "dts", "flac",