From dae2c22216ea39f78c63eb987ab719a5baf6fd40 Mon Sep 17 00:00:00 2001
From: Julio Montoya <gugli100@gmail.com>
Date: Tue, 12 Nov 2013 16:58:53 +0100
Subject: [PATCH] Minor - removing unused option see BT#6985

---
 main/group/group.php | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/main/group/group.php b/main/group/group.php
index 49f81877f8..cb9ba8cbde 100644
--- a/main/group/group.php
+++ b/main/group/group.php
@@ -180,10 +180,6 @@ if (api_is_allowed_to_edit(false, true)) {
 }
 
 $group_cats = GroupManager::get_categories(api_get_course_id());
-
-if (api_get_setting('allow_group_categories') == 'true' && count($group_cats) > 1) {
-	echo ' <a href="?'.api_get_cidreq().'&show_all=1">'.Display::return_icon('group.png',get_lang('ShowAll'),'',ICON_SIZE_MEDIUM).'</a>';
-}
 echo '</div>';
 
 /*