diff options
author | Florian Pritz <bluewind@xinu.at> | 2016-06-07 16:48:16 +0200 |
---|---|---|
committer | Florian Pritz <bluewind@xinu.at> | 2016-07-12 19:04:40 +0200 |
commit | 4650df72898250c027976a4335faef0bc33a4a16 (patch) | |
tree | cb2e1dd721a67199881281415d667d31583da914 /application/libraries | |
parent | 03d21abe6f2b092837f9c7b18958f6d78f29ce59 (diff) |
Add asciinema support
This bypasses require.js for asciinema because apparently require.js
can't deal with the embedded React library. The result is that React is
not loaded properly and the asciinema player is unable to find it.
Just load it like upstream tells you to.
Signed-off-by: Florian Pritz <bluewind@xinu.at>
Diffstat (limited to 'application/libraries')
-rw-r--r-- | application/libraries/Pygments.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/application/libraries/Pygments.php b/application/libraries/Pygments.php index 81963bc68..62229c472 100644 --- a/application/libraries/Pygments.php +++ b/application/libraries/Pygments.php @@ -165,6 +165,7 @@ class Pygments { private function filename2lexer() { $namearray = array( + 'asciinema.json' => 'asciinema', 'PKGBUILD' => 'bash', '.vimrc' => 'vim' ); |