Check for php, with html