@ Marco
You do not need to edit the PHP files to change the logo size, see this FAQ. And here’s a related FAQ that you may find useful.
