El innerText no es estándar, FF por ejemplo no lo entendería. Esto es así porque los nodos de texto se deben considerar hijos del DIV (IE no los considera tampoco). Luego al hacer innerText, estarías modificando otro nodo que no es el div "lista_fichero", y no tendría sentido que innerText fuese su propiedad. En ese caso se debería utilizar
Código PHP:
document.getElementById("lista_fichero").childNodes[0].nodeValue="texto";
Pero dependería en cada caso el hijo a modificar.
Un saludo.