php snippet to html