Add special *.asciinema.json filename0.9.18

Don't force users to name all their files asciinema.json. Give them
some room for descriptive names.

Signed-off-by: Florian Pritz <bluewind@xinu.at>

1 files changed, 8 insertions, 0 deletions

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);