Edit History

Ciao,

dato che una parte dell'errore sembra derivi proprio dalla cache io proverei a cancellarla manualmente: devi cancellare le cartelle dev e prod da /var/cache

Altra osservazione: che versione stai usando del PHP?

Buon pomeriggio,
Federica