user_button.php File Reference

Classes
class	gradereport_history\output\user_button
	A button that is used to select users for a form. More...

Namespaces
namespace	gradereport_history\output
	Renderer for history grade report.