Dans le code sources, tu as ça :
$fichiers_modifiables = array("txt", "doc", "rtf", "txt", "csv", "asc", "bin", "hex", "html", "htm", "css", "xml");
Tu peux le modifier mais le php ne fonctionne pas encore, et peut etre d´autrs types de fichiers non plus 