grader Directory Reference

Directories
	classes
	db
	tests

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