new php version / doc update