PhpDocReader API update

This is a quick fix after the API change for the PhpDocReader, please read carefully, I just edited that in the browser without testing.