(this is fixed now : you need to refresh the browser to get the new AJAX code from Translatewiki.net for the translation editor). Thanks.