Digital media player -> MP3 player

BUR #49511 has been approved by @evazion.

create alias digital_media_player -> mp3_player
create alias holding_digital_media_player -> holding_mp3_player

While most of these devices, like iPods and Digital Walkmans, can play video files as well, the current name isn't very intuitive - the layman knows these devices as MP3 players, and the current name leads to a lot of mistags of user interfaces for playing video or audio (such as a phone's music app or a YouTube video's control interface) instead of the device.

I think this will only continue to be a problem as the physical devices are basically obsolete at this point, so people seeing a user interface for playing media are going to assume that "digital media player" is the tag for that.

It also isn't great that Wikipedia calls a completely separate device a digital media player: https://en.wikipedia.org/wiki/Digital_media_player, that being those boxes for streaming TV and movies.

It gets misused on CD players and Walkmans, too. The current name is just very non-specific and vague.

The bulk update request #49511 (forum #394028) has been approved by @evazion.

This is a case of a term being genericized, similar to how movies are still called films even though they're not literally made with celluloid film any more, or how cans in canned food are sometimes called tin cans even though they're no longer made of tin.

BUR #51220 has been rejected.

create alias mp4_player -> mp3_player
create alias holding_mp4_player -> holding_mp3_player

While less popular here’s another name for ‘em that I remember hearing back in the day (obviously only for the ones that well, played MP4s lol_)

evazion said:

This is a case of a term being genericized, similar to how movies are still called films even though they're not literally made with celluloid film any more, or how cans in canned food are sometimes called tin cans even though they're no longer made of tin.

It will probably need some clean up to move some posts over to media player interface, cd walkman or whatever else, but hopefully this should make it less of a mess going forward.

Genericization of language my detested

BUR #51224 has been approved by @evazion.

remove alias digital_media_player -> mp3_player
deprecate digital_media_player
remove alias holding_digital_media_player -> holding_mp3_player
deprecate holding_digital_media_player

I think this is probably also a good idea to avoid any continued mistagging from the alias.

The bulk update request #51220 (forum #400546) has been rejected by @evazion.

The bulk update request #51224 (forum #400578) has been approved by @evazion.