Updated mediawiki/extensions
Project: mediawiki/extensions/EducationProgram  396cb983008d980a26d21af842e5d215deced496

API module to provide lists of students by course

Add an API module that takes in a list of course IDs and produces
a comma-separated list of the usernames of students in those courses.

Change-Id: Ic8f6457b7aff3754de1e906c0657e77e27a422ee