MediaWiki:Mobile.js: Difference between revisions

no edit summary
No edit summary
Tags: Mobile edit Mobile web edit
No edit summary
Tags: Mobile edit Mobile web edit
 
Line 10: Line 10:
});
});
document.getElementById("reportMistranslation"+section).innerText="";
document.getElementById("reportMistranslation"+section).innerText="";
document.getElementById("reportMistranslation"+section).s="";
//document.getElementById("reportMistranslation"+section).s="";
}
}
}
}