2009-11-01 12:00:47 +00:00
|
|
|
<?php
|
2012-01-05 09:29:55 +08:00
|
|
|
// This file is part of Moodle - http://moodle.org/
|
|
|
|
//
|
|
|
|
// Moodle is free software: you can redistribute it and/or modify
|
|
|
|
// it under the terms of the GNU General Public License as published by
|
|
|
|
// the Free Software Foundation, either version 3 of the License, or
|
|
|
|
// (at your option) any later version.
|
|
|
|
//
|
|
|
|
// Moodle is distributed in the hope that it will be useful,
|
|
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
// GNU General Public License for more details.
|
|
|
|
//
|
|
|
|
// You should have received a copy of the GNU General Public License
|
|
|
|
// along with Moodle. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Prints navigation tabs
|
|
|
|
*
|
|
|
|
* @package core_group
|
|
|
|
* @copyright 2010 Petr Skoda (http://moodle.com)
|
|
|
|
* @license http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
|
|
|
|
*/
|
2013-04-11 22:45:04 +10:00
|
|
|
$row = array();
|
2007-08-16 21:14:03 +00:00
|
|
|
$row[] = new tabobject('groups',
|
2013-04-11 22:45:04 +10:00
|
|
|
new moodle_url('/group/index.php', array('id' => $courseid)),
|
2007-08-16 21:14:03 +00:00
|
|
|
get_string('groups'));
|
|
|
|
|
2010-04-07 07:37:12 +00:00
|
|
|
$row[] = new tabobject('groupings',
|
2013-04-11 22:45:04 +10:00
|
|
|
new moodle_url('/group/groupings.php', array('id' => $courseid)),
|
2010-04-07 07:37:12 +00:00
|
|
|
get_string('groupings', 'group'));
|
2007-11-19 20:31:57 +00:00
|
|
|
|
2007-09-24 21:55:15 +00:00
|
|
|
$row[] = new tabobject('overview',
|
2013-04-11 22:45:04 +10:00
|
|
|
new moodle_url('/group/overview.php', array('id' => $courseid)),
|
2007-09-24 21:55:15 +00:00
|
|
|
get_string('overview', 'group'));
|
2007-08-16 21:14:03 +00:00
|
|
|
echo '<div class="groupdisplay">';
|
2013-04-11 22:45:04 +10:00
|
|
|
echo $OUTPUT->tabtree($row, $currenttab);
|
2007-08-16 21:14:03 +00:00
|
|
|
echo '</div>';
|