Fix undefined classes in PhpDocs