[Routing] fix phpdoc