From 3648cc3376004a30712880bc4641f69ce18bc9fb Mon Sep 17 00:00:00 2001 From: Florian Pritz Date: Thu, 27 Jun 2013 20:34:42 +0200 Subject: mfile: Add some more ocaml extension mappings Signed-off-by: Florian Pritz --- application/models/mfile.php | 3 +++ 1 file changed, 3 insertions(+) diff --git a/application/models/mfile.php b/application/models/mfile.php index 0a97da5a6..e32ea6bf4 100644 --- a/application/models/mfile.php +++ b/application/models/mfile.php @@ -360,7 +360,10 @@ class Mfile extends CI_Model { $extension = substr($name, strrpos($name, ".") + 1); $extensionarray = array( + 'mli' => 'ocaml', + 'mll' => 'ocaml', 'ml' => 'ocaml', + 'mly' => 'ocaml', 'tcl' => 'tcl', 'tex' => 'tex', ); -- cgit v1.2.3-24-g4f1b