Convert from html to php