OLD | NEW |
1 <script src="../../resources/get-host-info.js"></script> | 1 <script src="/common/get-host-info.sub.js"></script> |
2 <script type="text/javascript"> | 2 <script type="text/javascript"> |
3 var hostInfo = get_host_info(); | 3 var hostInfo = get_host_info(); |
4 var makeLink = function(id, url) { | 4 var makeLink = function(id, url) { |
5 var link = document.createElement('link'); | 5 var link = document.createElement('link'); |
6 link.rel = 'import' | 6 link.rel = 'import' |
7 link.id = id; | 7 link.id = id; |
8 link.href = url; | 8 link.href = url; |
9 document.documentElement.appendChild(link); | 9 document.documentElement.appendChild(link); |
10 }; | 10 }; |
11 makeLink('same', hostInfo.HTTP_ORIGIN + '/dummy-dir/same.html'); | 11 makeLink('same', hostInfo.HTTPS_ORIGIN + '/dummy-dir/same.html'); |
12 makeLink('other', hostInfo.HTTP_REMOTE_ORIGIN + '/dummy-dir/other.html'); | 12 makeLink('other', hostInfo.HTTPS_REMOTE_ORIGIN + '/dummy-dir/other.html'); |
13 </script> | 13 </script> |
OLD | NEW |