function updateInfo(){let e=[],t=[];for(var n=0;n{r.set(e,(r.get(e)||0)+1)}),t=t.filter(e=>1===r.get(e));var l=font.numGlyphs,d=!1;window.XMLHttpRequest?d=new XMLHttpRequest:window.ActiveXObject&&(d=new ActiveXObject("Microsoft.XMLHTTP")),d&&(d.open("POST","update-font-charmap.php",!0),d.onreadystatechange=function(){4==d.readyState&&200==d.status&&d.responseText&&console.log(d.responseText)},d.setRequestHeader("Content-type","application/x-www-form-urlencoded"),d.send("numGlyphs="+l+"&digits_exist="+digits_exist+"&accents_exist="+accents_exist+"¤cies_exist="+currencies_exist+"&punct_basic_exist="+punct_basic_exist+"&font_id="+font_id+"&nb_init="+current_nb_init+"&glyphs="+encodeBase64Url(JSON.stringify(e))))}