Get badges when the user has achieved skills - refs BT#9082

main/gradebook/lib/be/category.class.php

@@ -1681,6 +1681,13 @@ class Category implements GradebookItem
                     );
 
                     if (api_get_setting('allow_skills_tool') == 'true') {
+                        $courseId = api_get_course_int_id();
+                        $sessionId = api_get_session_id();
+
+                        $objSkillRelUser = new SkillRelUser();
+                        $userSkills = $objSkillRelUser->get_user_skills($user_id, $courseId, $sessionId);
+
+                        if (!empty($userSkills)) {
                             $html['badge_link'] = Display::url(
                                 get_lang('DownloadBadges'),
                                 api_get_path(WEB_CODE_PATH) . "gradebook/get_badges.php?user=$user_id",
@@ -1691,6 +1698,7 @@ class Category implements GradebookItem
                             );
                         }
                     }
+                }
                 return $html;
             }
         } else {