Fixed semantics in PHP3 manual

It also fixes styling issues