diff options
author | Phil Burton <phil@d3r.com> | 2019-04-02 14:29:45 +0100 |
---|---|---|
committer | Phil Burton <phil@d3r.com> | 2019-04-02 14:29:45 +0100 |
commit | 8f8ecd9e1aee461835dce8929ec616c3a77bf582 (patch) | |
tree | 276a271055422cabc7547e735cf3c648f7ca762f | |
parent | df2f660fe752a7ed4f813ca26bb51fab1803fdd9 (diff) |
Remove needless code and allow file's with .tex extensions to flow through to text, which is the same as what currently happens
-rw-r--r-- | index.php | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -306,7 +306,6 @@ foreach ($fileCollection as $item) { $icon="sound2"; break; case "tex": - $icon="tex"; case "txt": case "rtf": case "log": |