Last modified: 2013-02-06 16:28:14 UTC
The menu includes a "Players" button even if there is only one option to be selected. For example, on audio files, the only player listed is "HTML5 Ogg player". (Incidentally, the header of the list calls them "video players" even if it's an audio file.)
https://gerrit.wikimedia.org/r/#/c/47710/