grader Directory Reference

Directories
directory	db

Files
file	lib.php
	Definition of the grader report class.
file	preferences_form.php
	Form for grader report preferences.
file	settings.php
	Defines site config settings for the grader report.
file	tabs.php
	Outputs navigation tabs for the grader report.
file	version.php
	Version details for the grader report.