Inline Wikipedia's midis

embed_wikipedia_midis.js

// ==UserScript==
// @name Wikipedia: embed midi
// @namespace mqScripts
// @match *://*.wikipedia.org/*
// @grant none
// @require https://code.jquery.com/jquery-3.3.1.slim.min.js
// ==/UserScript==
// Requires that your browser knows what to do with midi audio tags.
//   eg MIDI Player https://chrome.google.com/webstore/detail/midi-player/khppfbnjbaampmeeiocjhcodkklkcfjf
//
// Unfortunately, that extension's controls are a little big. TODO

const LOAD = "load";
const A = 'a';
const AFTER = 'afterend';

((selector, mapper) => {
  selector($).each((i, el) => {
    console.log('match: '+el);
    el.insertAdjacentHTML(AFTER, mapper(el));
    el.remove();
  });
})(
  $ => $(A).filter((i, a) => a.href.match(/^https:\/\/upload.wikimedia.org.*\.midi?($|\?)/)), 
  a => `<audio autoplay="false" controls>
          <source src="${a.href}" type="audio/midi"></source>
        </audio>`
);