// BBC Radio Player Extra Controls Text Version
// version 0.22 BETA!
// 09-10-2005
// Copyright (c) 2005, Michael Pritchard
// Released under the GPL license
// http://www.gnu.org/copyleft/gpl.html
//
// --------------------------------------------------------------------
//
// This is a Greasemonkey user script.
//
// To install, you need Greasemonkey: http://greasemonkey.mozdev.org/
// Then restart Firefox and revisit this script.
// Under Tools, there will be a new menu item to "Install User Script".
// Accept the default configuration and install.
//
// To uninstall, go to Tools/Manage User Scripts,
// select "BBC Radio Player Play Externally", and click Uninstall.
//
// Made thanks to http://diveintogreasemonkey.org/
//
// --------------------------------------------------------------------
//
// ==UserScript==
// @name BBC Radio Player Extra Controls Text Version
// @namespace http://www.blueghost.co.uk/bbc_rp2.html
// @description Allows you to control playback more
// @include http://www.bbc.co.uk/radio/aod/*
// ==/UserScript==
/*overwrite existing as it want to access to non-existant playpause button*/
unsafeWindow.ImgPlay = function (){
//do nothing
}
/*overwrite existing as it want to access to non-existant playpause button*/
unsafeWindow.ImgPause = function (){
//do nothing
}
var more = document.getElementById('controls');
var emb = document.getElementsByTagName('embed');
var base = "http://www.bbc.co.uk";
for (var i=0; i < emb.length; i++){
if (emb[i].type == "audio/x-pn-realaudio-plugin"){
src = emb[i].src;
i = emb.length; //endif
}
}
if (more && (unsafeWindow.PlayerType !="live") && (src.length >0)) { //only for recorded content
//more.className = 'statinfo';
more.innerHTML = ''+
'
'+
'