revert HTML to PHP