Minor - fixing double header.

main/group/group_category.php

@@ -100,8 +100,6 @@ if (isset($_GET['id'])) {
 	$form = new FormValidator('group_category');
 }
 
-$form->addElement('header', $nameTools);
-
 // If categories allowed, show title & description field
 if (api_get_setting('allow_group_categories') == 'true') {
 	$form->add_textfield('title', get_lang('Title'));

main/inc/lib/groupmanager.lib.php

@@ -2348,6 +2348,9 @@ class GroupManager
         return $data;
     }
 
+    /**
+     * @param string $default
+     */
     static function getSettingBar($default)
     {
         $activeSettings = null;