monitor Directory Reference

Directories
directory	classes
directory	db

Files
file	lib.php
	This page lists public api for tool_monitor plugin.
file	settings.php
	Links and settings.
file	version.php
	Version info.