From 99fb6ca90d10648a3d2e7a16188d6ed3e0cb7e4f Mon Sep 17 00:00:00 2001 From: Florian Pritz Date: Thu, 21 Jul 2016 16:04:22 +0200 Subject: Add special *.asciinema.json filename Don't force users to name all their files asciinema.json. Give them some room for descriptive names. Signed-off-by: Florian Pritz --- application/libraries/Pygments.php | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'application/libraries/Pygments.php') diff --git a/application/libraries/Pygments.php b/application/libraries/Pygments.php index 62229c472..082c52394 100644 --- a/application/libraries/Pygments.php +++ b/application/libraries/Pygments.php @@ -171,6 +171,14 @@ class Pygments { ); if (array_key_exists($this->filename, $namearray)) return $namearray[$this->filename]; + $longextarray = array( + '.asciinema.json' => 'asciinema', + ); + foreach ($longextarray as $key => $lexer) { + if (substr($this->filename, -strlen($key)) === $key) { + return $lexer; + } + } if (strpos($this->filename, ".") !== false) { $extension = substr($this->filename, strrpos($this->filename, ".") + 1); -- cgit v1.2.3-24-g4f1b