VLC media player extension