no need for the PHP extension, it's a plain HTML file