From 7d8b8ee29ebc8f15b7eab5f8ca6cf2532f2bd61f Mon Sep 17 00:00:00 2001 From: Florian Pritz Date: Sun, 14 Apr 2024 14:10:44 +0200 Subject: chore(pygments): Fix sort order in extension list Signed-off-by: Florian Pritz --- application/libraries/Pygments.php | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/application/libraries/Pygments.php b/application/libraries/Pygments.php index 4a771c08f..b4f465219 100644 --- a/application/libraries/Pygments.php +++ b/application/libraries/Pygments.php @@ -192,15 +192,15 @@ class Pygments { $extensionarray = array( 'awk' => 'awk', - 'cast' => 'asciinema', 'c' => 'c', + 'cast' => 'asciinema', 'coffee' => 'coffee-script', 'cpp' => 'cpp', 'cr' => 'crystal', 'diff' => 'diff', 'go' => 'go', - 'haml' => 'haml', 'h' => 'c', + 'haml' => 'haml', 'hs' => 'haskell', 'html' => 'xml', 'java' => 'java', @@ -208,9 +208,9 @@ class Pygments { 'json' => 'json', 'lhs' => 'lhs', 'lua' => 'lua', + 'ml' => 'ocaml', 'mli' => 'ocaml', 'mll' => 'ocaml', - 'ml' => 'ocaml', 'mly' => 'ocaml', 'mysql' => 'mysql', 'patch' => 'diff', -- cgit v1.2.3-24-g4f1b