From 4650df72898250c027976a4335faef0bc33a4a16 Mon Sep 17 00:00:00 2001 From: Florian Pritz Date: Tue, 7 Jun 2016 16:48:16 +0200 Subject: 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 --- application/views/file/fragments/asciinema-player.php | 8 ++++++++ application/views/header.php | 2 ++ 2 files changed, 10 insertions(+) create mode 100644 application/views/file/fragments/asciinema-player.php (limited to 'application/views') 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 @@ +
+
+
+ +
+
+
+
diff --git a/application/views/header.php b/application/views/header.php index 0e1f174de..d4ee7a07c 100644 --- a/application/views/header.php +++ b/application/views/header.php @@ -17,6 +17,7 @@ if (is_cli_client() && !isset($force_full_html)) { " rel="stylesheet"> " rel="stylesheet"> " rel="stylesheet"> + " rel="stylesheet"> '; @@ -26,6 +27,7 @@ if (is_cli_client() && !isset($force_full_html)) { echo ''; } ?> +