<?PHP // $Id$

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

?>
