Add PHP highlighting for .html files