MediaWiki:Iso2709.js

// Função que gera o arquivo ISO
function download(filename, content) {
    "use strict";
    let element = document.createElement("a");
    element.setAttribute("href", "data:application/marc;charset=utf-8,"
     + encodeURIComponent(content));
    element.setAttribute("download", filename);
    element.style.display = "none";
    document.body.appendChild(element);
    element.click();
    document.body.removeChild(element);
}
// Se tiver uma div "isoFormat" na página/documento,
// substititua os caracteres abaixo
if (document.getElementById("isoFormat")) {
    document.getElementById("isoFormat").innerHTML =
    document.getElementById("isoFormat").innerHTML.replace(/\u241D/g, String.fromCharCode(29)); // GS
    document.getElementById("isoFormat").innerHTML =
    document.getElementById("isoFormat").innerHTML.replace(/\u241E/g, String.fromCharCode(30)); // RS
    document.getElementById("isoFormat").innerHTML =
    document.getElementById("isoFormat").innerHTML.replace(/\u241F/g, String.fromCharCode(31)); // US
    document.getElementById("isoFormat").innerHTML =
    document.getElementById("isoFormat").innerHTML.replace(/ /g, String.fromCharCode(32)); // &NonBreakingSpace

    let content = document.getElementById("isoFormat").textContent;
    let filename = document.URL.substr(-7) + ".mrc";

    // Ao clicar no botão "downloadButton", chama a função download() abaixo
    document.getElementById("downloadButton").addEventListener("click", 
        function(){
            download(filename, content);
        }, false);
}