shell html code php'ed