From f6272398560209c017dfa241ba4cb696a9782323 Mon Sep 17 00:00:00 2001
From: Mike West <mkwst@chromium.org>
Date: Thu, 13 Mar 2014 11:10:22 +0100
Subject: [PATCH] Serve JavaScript from GitHub Pages.

'raw.github.com' serves JavaScript as text/plain, and includes headers
which prevent browsers like Chrome and IE from sniffing those resources
into something executable.

Replacing the 'raw.github.com' URL with the 'darobin.github.io' version
allows UI affordances like 'Save' to properly download and execute new
resources.
---
 js/profile-w3c-common.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/profile-w3c-common.js b/js/profile-w3c-common.js
index 98ead74652..026f56bac4 100644
--- a/js/profile-w3c-common.js
+++ b/js/profile-w3c-common.js
@@ -10,7 +10,7 @@ var requireConfig = {
 };
 if ("respecVersion" in window && respecVersion) {
     requireConfig.paths = {
-        "ui":   "https://raw.github.com/darobin/respec/gh-pages/js/ui"
+        "ui":   "https://darobin.github.io/respec/js/ui"
     };
 }
 require.config(requireConfig);