mozilla: workaround for libvlc media_player end of media list behavior

(cherry picked from commit 3b04148e)

projects/mozilla/test.html

@@ -598,6 +598,7 @@ function onPlay()
 function onEnd()
 {
     document.getElementById("state").innerHTML = "End...";
+    doStop();
 }
 
 var liveFeedText = new Array("Live", "((Live))", "(( Live ))", "((  Live  ))");