<?PHP // $Id: gradereport_grader.php 68 2009-07-31 18:23:01Z dlandau $

$string['modulename'] = 'Grader report';
$string['grader:manage'] = 'Manage the grader report';
$string['grader:view'] = 'View the grader report';
$string['preferences'] = 'Grader report preferences';

?>
