summaryrefslogtreecommitdiffstats
path: root/application/libraries/Pygments.php
diff options
context:
space:
mode:
authorFlorian Pritz <bluewind@xinu.at>2021-02-21 11:41:31 +0100
committerFlorian Pritz <bluewind@xinu.at>2021-02-21 11:42:08 +0100
commit9eec108d047d538e1fe7b743a18703a8c407442b (patch)
tree33f6c5747903ba9409af1423f27a1f7596c9a876 /application/libraries/Pygments.php
parent43c2ced7db09374c110d00bd7cd31606f8d361aa (diff)
Pygments: Add json and crystal filename extensions
Signed-off-by: Florian Pritz <bluewind@xinu.at>
Diffstat (limited to 'application/libraries/Pygments.php')
-rw-r--r--application/libraries/Pygments.php2
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',