Fix phpDoc declarations