var boutondl = document.getElementById("export_dl") ;
- boutondl.setAttribute('onclick',"download_file('donnees_"+nomenfant+".json', 'application/json;charset=utf-8','"+encodeURIComponent(texte) +"')")
+ boutondl.setAttribute('onclick',"download_file('donnees_"+nomenfant+".txt', 'application/json;charset=utf-8','"+encodeURIComponent(texte) +"')")
if(result == "success")
function upload_file(data) {
document.getElementById('form_import_donnees').submit();
-}
\ No newline at end of file
+}