Converts files from .html to .php to factor out common code