From 312701cba9bf40d0699aec44752a9aec7cc1e9d5 Mon Sep 17 00:00:00 2001 From: Florian Pritz Date: Thu, 2 Apr 2015 22:36:03 +0200 Subject: Pygments: Add .lhs extension Signed-off-by: Florian Pritz --- application/libraries/Pygments.php | 1 + 1 file changed, 1 insertion(+) (limited to 'application/libraries') diff --git a/application/libraries/Pygments.php b/application/libraries/Pygments.php index 3c99481d1..13d82d2ad 100644 --- a/application/libraries/Pygments.php +++ b/application/libraries/Pygments.php @@ -182,6 +182,7 @@ class Pygments { 'html' => 'xml', 'java' => 'java', 'js' => 'js', + 'lhs' => 'lhs', 'lua' => 'lua', 'mli' => 'ocaml', 'mll' => 'ocaml', -- cgit v1.2.3-24-g4f1b