script to convert PHP files to HTML