widget.php File Reference

Classes
class	assignfeedback_editpdf_widget
	A custom renderer class that extends the plugin_renderer_base and is used by the editpdf feedback plugin. More...