Updated mediawiki/extensions
Project: mediawiki/extensions/MathSearch  a9cec0e89a1311150c8df72f1346109a58145e46

Add download functionality

Participants and admins must be able to download the submitted runs.

Change-Id: I684b36521b6cbd885a99257357388abce780be64