CCLE-4048 Codechecker and PHPdoc fixes for navigation hook.

Admittedly, I should have done this before I committed
the code. Hopefully I remember to squash this later...