<!DOCTYPE html>
<!--
This file is part of FFmpeg.
All scripts contained in this file can be considered public domain.
-->
<
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);
}
}
pre { border: solid black 1px; padding: 0.2ex; font-size: 80% }
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;
}