Windows Media Player Playlist , a proprietary multimedia playlist file format developed by Microsoft.