diff options
| author | Florian Pritz <bluewind@xinu.at> | 2013-06-27 20:34:42 +0200 |
|---|---|---|
| committer | Florian Pritz <bluewind@xinu.at> | 2013-06-27 20:34:42 +0200 |
| commit | 3648cc3376004a30712880bc4641f69ce18bc9fb (patch) | |
| tree | 4c14dff758ef4d5f6cef32316b74523ee99efea8 /application/models/mfile.php | |
| parent | e7e60be88373cb5f7a71beff12bafce2635ec59b (diff) | |
mfile: Add some more ocaml extension mappings
Signed-off-by: Florian Pritz <bluewind@xinu.at>
Diffstat (limited to 'application/models/mfile.php')
| -rw-r--r-- | application/models/mfile.php | 3 |
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', ); |