Use www.w3.org/Tools/respec/respec-w3c-common instead of getting this file directly from github.
authorGary Kacmarcik <garykac@google.com>
Fri, 25 Jan 2013 10:30:07 -0800
changeset 14 0d236cbcd671
parent 13 940b3edbc0ff
child 15 97c362d9912f
Use www.w3.org/Tools/respec/respec-w3c-common instead of getting this file directly from github.
Note that we use https so that we don't get an "unsafe content" warning when loading the respect file.
source_respec.htm
--- a/source_respec.htm	Fri Jan 25 09:59:59 2013 -0800
+++ b/source_respec.htm	Fri Jan 25 10:30:07 2013 -0800
@@ -4,7 +4,7 @@
 <head>
     <meta charset="utf-8" />
     <title>UI Events</title>
-    <script type="text/javascript" src='http://darobin.github.com/respec/builds/respec-w3c-common.js' class='remove'></script>
+    <script src='https://www.w3.org/Tools/respec/respec-w3c-common' class='remove' async></script>
     <script type="text/javascript" src="respecEdConfig.js" class='remove'></script>
     <link rel="stylesheet" type="text/css" href="table.css" media="screen" />
 </head>