MAN page of the phpreflect(1) command