[Mplayerplug-in-devel] [patch] rename "DivX Browser Plug-In" -> "DivX Web Player"

[Christoph F. <chr...@gm...>]

Hi

http://www.mystream.to

checks if "DivX Web Player" is installed:

<script type="text/javascript">
installed = false;
  installed = (has_plugin('DivX Web Player') || has_plugin('DivX Web Player'));
  if(!installed) window.location.href = 'download-divx-player';
  else $('player').style.display = 'block';
</script>

but we have "DivX Browser Plug-In". The attached patch changes this.

best regards