diff options
| author | Tim Redfern <tim@eclectronics.org> | 2014-02-17 13:36:38 +0000 |
|---|---|---|
| committer | Tim Redfern <tim@eclectronics.org> | 2014-02-17 13:36:38 +0000 |
| commit | 22e28216336da876e1fd17f380ce42eaf1446769 (patch) | |
| tree | 444dad3dc7e2656992d29f34f7bce31970c122a5 /ffmpeg/tools/bookmarklets.html | |
| parent | ae5e8541f6e06e64c28719467cdf366ac57aff31 (diff) | |
chasing indexing error
Diffstat (limited to 'ffmpeg/tools/bookmarklets.html')
| -rw-r--r-- | ffmpeg/tools/bookmarklets.html | 55 |
1 files changed, 0 insertions, 55 deletions
diff --git a/ffmpeg/tools/bookmarklets.html b/ffmpeg/tools/bookmarklets.html deleted file mode 100644 index 9800ab5..0000000 --- a/ffmpeg/tools/bookmarklets.html +++ /dev/null @@ -1,55 +0,0 @@ -<!DOCTYPE html> -<html> -<head> -<!-- - This file is part of FFmpeg. - - All scripts contained in this file can be considered public domain. - --> -<title>FFmpeg bookmarklets</title> -<meta charset="UTF-8"> -<script type="text/javascript"> -function convert(js) { - js = js.replace(/\/\*.*?\*\//g, ""); /* comments */ - js = js.replace(/\s+/g, " "); - js = js.replace(/\s+\z/, ""); - js = "(function(){" + js + "})();void 0"; - return "javascript:" + escape(js); -} -function init() { - var pre = document.getElementsByTagName("pre"); - for (var i = 0; pre.length > i; i++) { - document.getElementById(pre[i].id + "-link").href = convert(pre[i].textContent); - } -} -</script> -<style type="text/css"> -pre { border: solid black 1px; padding: 0.2ex; font-size: 80% } -</style> -</head> -<body onload="init()"> - -<h1>Introduction</h1> - -The scripts in this page are -<a href="http://en.wikipedia.org/wiki/Bookmarklet">bookmarklets</a>: store -their link version in a bookmark, and later activate the bookmark on a page -to run the script. - -<h1>TED Talks captions</h1> - -<p><a id="ted_talks_captions-link" href="#">Get links to the captions</a></p> - -<pre id="ted_talks_captions"> -d = window.open("", "sub", "width=256,height=512,resizable=yes,scrollbars=yes").document; -l = document.getElementById("languageCode").getElementsByTagName("option"); -for (i = 1; i < l.length ; i++) { - d.body.appendChild(p = d.createElement("p")); - p.appendChild(a = d.createElement("a")); - a.appendChild(d.createTextNode(l[i].textContent)); - a.href="http://www.ted.com/talks/subtitles/id/" + talkID+"/lang/" + l[i].value; -} -</pre> - -</body> -</html> |