summaryrefslogtreecommitdiffstats
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
parent43c2ced7db09374c110d00bd7cd31606f8d361aa (diff)
Pygments: Add json and crystal filename extensions
Signed-off-by: Florian Pritz <bluewind@xinu.at>
-rw-r--r--NEWS1
-rw-r--r--application/libraries/Pygments.php2
2 files changed, 3 insertions, 0 deletions
diff --git a/NEWS b/NEWS
index 8f3b3abf1..cabb341c9 100644
--- a/NEWS
+++ b/NEWS
@@ -2,6 +2,7 @@ This file lists major, incompatible or otherwise important changes, you should l
NEXT
- PHP 8.0 comptibility fixes
+ - Add json and crystal filename extensions for highlighting
3.5.0 2020-10-07
- API 2.2.0: Add `minimum-id-length` post parameter to
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',