From 4650df72898250c027976a4335faef0bc33a4a16 Mon Sep 17 00:00:00 2001
From: Florian Pritz <bluewind@xinu.at>
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 <bluewind@xinu.at>
---
 application/views/header.php | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'application/views/header.php')

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)) {
 	<link href="<?php echo link_with_mtime("/data/css/bootstrap.min.css"); ?>" rel="stylesheet">
 	<link href="<?php echo link_with_mtime("/data/css/style.css"); ?>" rel="stylesheet">
 	<link href="<?php echo link_with_mtime("/data/css/colorbox.css"); ?>" rel="stylesheet">
+	<link href="<?php echo link_with_mtime("/data/css/asciinema-player.css"); ?>" rel="stylesheet">
 	<?php
 		if (file_exists(FCPATH."data/local/style.css")) {
 			echo '<link href="'.link_with_mtime("/data/local/style.css").'" rel="stylesheet">';
@@ -26,6 +27,7 @@ if (is_cli_client() && !isset($force_full_html)) {
 			echo '<link href="'.link_with_mtime("/data/local/favicon.png").'" rel="shortcut icon">';
 		}
 	?>
+	<script src="<?php echo link_with_mtime("/data/js/vendor/asciinema-player.js"); ?>"></script>
 	<script src="<?php echo link_with_mtime("/data/js/vendor/require.js"); ?>"></script>
 	<script type="text/javascript">
 		/* <![CDATA[ */
-- 
cgit v1.2.3-24-g4f1b