Converted PHP files to HTML.