A MediaWiki extension for assigning and reporting grades for students