php scripts included in html page