Hi. 
Thanks. In my case they are just normal .php-pages. You can try it yourself:
www . miraesto . es / ecobulb
When I mirror, I get files named .php. Version 3.33 renames them correctly to
.html.