PHPDoc for highlight_params is missing