/* * Written by JasonWoof 2012 public domain */ // ==UserScript== // @name duolingo html5 audio // @namespace http://patcavit.com/greasemonkey // @description convert flash player to html5 audio // @include http://duolingo.com/* // ==/UserScript== (function() { setTimeout(function() { var $ = window.jQuery; console.log('tick'); var speaker = $('#big-speaker'); speaker.children('div').each(function() { var el = $(this); var id = el.attr('id'); if(id && id.substr(0, 13) == 'speaker-audio' && id.substr(id.length - 6) != 'button') { var new_el = '