Set permissions to platform admin in the badge tool - refs BT#9082

main/admin/skill_badge.php

@@ -11,6 +11,10 @@ require_once '../inc/global.inc.php';
 
 $this_section = SECTION_PLATFORM_ADMIN;
 
+if (!api_is_platform_admin()) {
+    api_not_allowed(true);
+}
+
 $interbreadcrumb = array(
     array(
         'url' => api_get_path(WEB_CODE_PATH) . 'admin/index.php',

main/admin/skill_badge_create.php

@@ -10,6 +10,10 @@ $cidReset = true;
 require_once '../inc/global.inc.php';
 require_once '../inc/lib/fileUpload.lib.php';
 
+if (!api_is_platform_admin()) {
+    api_not_allowed(true);
+}
+
 $this_section = SECTION_PLATFORM_ADMIN;
 
 $skillId = intval($_GET['id']);

main/admin/skill_badge_issuer.php

@@ -9,6 +9,10 @@ $cidReset = true;
 
 require_once '../inc/global.inc.php';
 
+if (!api_is_platform_admin()) {
+    api_not_allowed(true);
+}
+
 $this_section = SECTION_PLATFORM_ADMIN;
 
 $interbreadcrumb = array(

main/admin/skill_badge_list.php

@@ -10,6 +10,10 @@ $cidReset = true;
 require_once '../inc/global.inc.php';
 require_once '../inc/lib/fileUpload.lib.php';
 
+if (!api_is_platform_admin()) {
+    api_not_allowed(true);
+}
+
 $this_section = SECTION_PLATFORM_ADMIN;
 
 $objSkill = new Skill();