convert html into php