diff options
| -rw-r--r-- | application/libraries/Pygments.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/application/libraries/Pygments.php b/application/libraries/Pygments.php index 4a771c08f..b4f465219 100644 --- a/application/libraries/Pygments.php +++ b/application/libraries/Pygments.php @@ -192,15 +192,15 @@ class Pygments { $extensionarray = array( 'awk' => 'awk', - 'cast' => 'asciinema', 'c' => 'c', + 'cast' => 'asciinema', 'coffee' => 'coffee-script', 'cpp' => 'cpp', 'cr' => 'crystal', 'diff' => 'diff', 'go' => 'go', - 'haml' => 'haml', 'h' => 'c', + 'haml' => 'haml', 'hs' => 'haskell', 'html' => 'xml', 'java' => 'java', @@ -208,9 +208,9 @@ class Pygments { 'json' => 'json', 'lhs' => 'lhs', 'lua' => 'lua', + 'ml' => 'ocaml', 'mli' => 'ocaml', 'mll' => 'ocaml', - 'ml' => 'ocaml', 'mly' => 'ocaml', 'mysql' => 'mysql', 'patch' => 'diff', |