[MPlayer-dev-eng] [PATCH] xml docs fix and mpst:// docs

[Diego Biurrun]

Diego Biurrun writes:
> Diego Biurrun writes:
> > After more than a year without reaction and clever ideas I assume that
> > no better name will fall from the sky, so I will take matters into my
> > own hands and rename this option in the next days unless a storm of
> > protest erupts.
> > 
> > So
> >   -use-stdin
> > 
> > will be renamed to
> > 
> >   -noconsolecontrols
> 
> To be precise, I will commit the following patch unless you holler.

[...]

Please also update the manual page if you change an option name.

Diego