summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFlorian Pritz <bluewind@xinu.at>2013-06-27 20:34:42 +0200
committerFlorian Pritz <bluewind@xinu.at>2013-06-27 20:34:42 +0200
commit3648cc3376004a30712880bc4641f69ce18bc9fb (patch)
tree4c14dff758ef4d5f6cef32316b74523ee99efea8
parente7e60be88373cb5f7a71beff12bafce2635ec59b (diff)
mfile: Add some more ocaml extension mappings
Signed-off-by: Florian Pritz <bluewind@xinu.at>
-rw-r--r--application/models/mfile.php3
1 files changed, 3 insertions, 0 deletions
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',
);