diff options
author | Florian Pritz <bluewind@xinu.at> | 2021-02-21 11:41:31 +0100 |
---|---|---|
committer | Florian Pritz <bluewind@xinu.at> | 2021-02-21 11:42:08 +0100 |
commit | 9eec108d047d538e1fe7b743a18703a8c407442b (patch) | |
tree | 33f6c5747903ba9409af1423f27a1f7596c9a876 /application | |
parent | 43c2ced7db09374c110d00bd7cd31606f8d361aa (diff) |
Pygments: Add json and crystal filename extensions
Signed-off-by: Florian Pritz <bluewind@xinu.at>
Diffstat (limited to 'application')
-rw-r--r-- | application/libraries/Pygments.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/application/libraries/Pygments.php b/application/libraries/Pygments.php index 074e8a6c1..6f51cc9e7 100644 --- a/application/libraries/Pygments.php +++ b/application/libraries/Pygments.php @@ -195,6 +195,7 @@ class Pygments { 'c' => 'c', 'coffee' => 'coffee-script', 'cpp' => 'cpp', + 'cr' => 'crystal', 'diff' => 'diff', 'go' => 'go', 'haml' => 'haml', @@ -203,6 +204,7 @@ class Pygments { 'html' => 'xml', 'java' => 'java', 'js' => 'js', + 'json' => 'json', 'lhs' => 'lhs', 'lua' => 'lua', 'mli' => 'ocaml', |