From 9eec108d047d538e1fe7b743a18703a8c407442b Mon Sep 17 00:00:00 2001 From: Florian Pritz Date: Sun, 21 Feb 2021 11:41:31 +0100 Subject: Pygments: Add json and crystal filename extensions Signed-off-by: Florian Pritz --- NEWS | 1 + application/libraries/Pygments.php | 2 ++ 2 files changed, 3 insertions(+) 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', -- cgit v1.2.3-24-g4f1b