Simple html page editor in (ugh) php