Google Code-in

Currently, scores on Wikipedia output to Ogg/Vorbis files, but as MP3 is no longer patent-encumbered and is more widely supported, scores should convert to MP3. The change could allow better browser support and wider support to open the files if downloaded.

This is to modify the Score extension of MediaWiki: https://phabricator.wikimedia.org/diffusion/ESCR/ , and a patch submitted to Gerrit is a requirement. A little knowledge of the command line and of PHP is good to have for this task.

To complete this task, you have to modify the TimedMediaTransformOutput type of the rendered media player (line 462 of Score.php) and change the TiMidity++ command (line 776). Finally, OGG-specific calculations (such as its length) have to be converted (line 910) with the wording replaced to MP3.