Hello, PEYO,
This is independent of the theme.
We would like to inform you that it is not recommended to edit PHP files through the Dashboard. We suggest that you use FTP to make any changes to files. Please contact your hosting provider to obtain FTP access and use FileZilla – https://filezilla-project.org/
Kind Regards,
8theme team