Update PHP docs for editor type