2616
2619
$annotation_extra = " $1";
2618
2621
$AnnotationsUsed{$match_annotation} = 1;
2622
2625
&LogWarning (&GetSymbolSourceFile ($symbol), &GetSymbolSourceLine($symbol),
2623
2626
"unknown annotation \"$annotation\" in documentation for $symbol.");
2631
2637
return ($param_desc, $param_annotations);