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

$string['modulename'] = 'XML file';
$string['xml:view'] = 'Use XML grade export';
$string['xml:publish'] = 'Publish XML grade export';

?>
