[Plugin: MediaElement.js – HTML5 Video & Audio Player] Its jQuery call is redundant

This plugin calls jQuery, like this:

<script type='text/javascript' src='https://mydomain.com/wp-includes/js/jquery/jquery.js?ver=1.7.1'></script>

The problem is that my theme already calls jQuery earlier than this (and other functions depend on it), and I believe this second jQuery call is causing those other functions and jQuery plugins to fail.

A proposal for a very simple solution: How about a checkbox on the plugin’s settings page that says something like “Use existing jQuery calls” which would prevent this line of code from being added?

Thanks,
Peter

https://www.ads-software.com/extend/plugins/media-element-html5-video-and-audio-player/