VLCPlayerDisplayController: Improve the player switch

This merge request brings an improvement to:

• The player that now switches to the proper one depending on the media type when the playback moves on to the next media.
• If the mini player is displayed, it remains even if the media type switches.

Player_Switch

changed milestone to %4.0.0

added Interface Player labels

approved this merge request

added 2 commits

• 60cb8f3e - 1 commit from branch videolan:master
• 2e0df521 - VLCPlayerDisplayController: Improve the player switch

Compare with previous version

enabled an automatic merge when the pipeline for 2e0df521 succeeds

merged