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/views/file/fragments/asciinema-player.php | |
| 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/views/file/fragments/asciinema-player.php')
| -rw-r--r-- | application/views/file/fragments/asciinema-player.php | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/application/views/file/fragments/asciinema-player.php b/application/views/file/fragments/asciinema-player.php new file mode 100644 index 000000000..5eb8041f7 --- /dev/null +++ b/application/views/file/fragments/asciinema-player.php @@ -0,0 +1,8 @@ +<div class="container-wide"> +<div class='panel panel-default'> + <div class='panel-heading'> + <?php echo anchor(site_url($filedata['id']), htmlspecialchars($filedata["filename"])); ?> + </div> + <div id="player-container-<?php echo $filedata['id']; ?>" class="asciinema_player" data-url="<?php echo site_url($filedata['id']); ?>"></div> +</div> +</div> |