MP3 Player

Mp3 content can now be uploaded and directly loaded see https://www.mediawiki.org/wiki/Extension:MP3MediaHandler