Play Tone

Function to play a sound file by adding an HTML5 audio tag to the document. ver 1.0 2014-09-07.

换行

// ==UserScript==
// @name        Play Tone
// @author      Jefferson "jscher2000" Scher
// @namespace   JeffersonScher
// @description Function to play a sound file by adding an HTML5 audio tag to the document. ver 1.0 2014-09-07.
// @include     *
// @version     1.0
// @copyright   Copyright 2014 Jefferson Scher
// @license     BSD 3-clause
// @grant       GM_registerMenuCommand
// ==/UserScript==

function playTone(e){
  // create audio tag for WAV file
  var el = document.createElement("audio");
  el.setAttribute("autoplay", "autoplay");
  // grab tone file from my site; to avoid mixed content, omit the protocol
  el.setAttribute("src", "//www.jeffersonscher.com/gm/snd/A-Tone-His_Self-1266414414.wav");
  // add to document body
  document.body.appendChild(el);
}
// Add menu item
GM_registerMenuCommand("Play Tone", playTone);