Correction of PHPDoc for badgeFunction