Updated mediawiki/extensions
Project: mediawiki/extensions/EducationProgram  7c2f29a4c559e069e2a346fee1e868ab6e96bd20

Add more flexibility to the ListStudents API

Add options to return user IDs instead of usernames, and to group
students by course instead of returning a single de-duplicated
list.

Change-Id: I59bd7b52f7820a6b637ef10f1eb679e3b8f6551f