version_links.js.template

const default_language = '{{DEFAULT_LANGUAGE}}';
const versions = {{VERSION_LIST}};
var vcount = versions.length;
var i, text;
var serv = window.location.protocol + '//' + window.location.hostname

function list_versions(url_root) {
    text = "\n";
    for (i = 0; i < vcount; i++) {
        text += '<dd><a href="/' + versions[i] + '/index.html" class="__ptNoRemap">' + versions[i] + "</a></dd>\n";
    }
    text += '<dd><a href="/index.html" class="__ptNoRemap">latest' + "</a></dd>\n";
    document.getElementById("select_version").innerHTML += text;
}