[MPlayer-dev-eng] MPlayer name change

[Dirk]

Diego Biurrun wrote:

>Arpi writes:
> > > > My suggestion is just to shorten the name a bit:
> > > > 
> > > >   MPlayer - The Movie Player
> > > > 
> > > > What do you think?
> > > I already wanted to make that step, but was never brave enough.
> > 
> > Why not The Player then? It plays not only movies...
>
>Could be "MPlayer - The Media Player" then.
>  
>
What about "play"?