Handle *.html files by PHP