WP File Manager
Current Path:
/
home
/
article
/
www
/
plugins
/
Lecteur_multimedia
/
javascript
/
Name
Action
..
audio-player.js
Edit
farbtastic
jscroller.js
Edit
video_playlist.js
Edit
Editing: audio-player.js
/** * Fichier qui va avec le pixplayer */ var ap_instances = new Array(); function ap_stopAll(playerID) { for(var i = 0;i<ap_instances.length;i++) { try { if(ap_instances[i] != playerID) document.getElementById("audioplayer" + ap_instances[i].toString()).SetVariable("closePlayer", 1); else document.getElementById("audioplayer" + ap_instances[i].toString()).SetVariable("closePlayer", 0); } catch( errorObject ) { // stop any errors } } } function ap_registerPlayers() { var objectID; var objectTags = document.getElementsByTagName("object"); for(var i=0;i<objectTags.length;i++) { objectID = objectTags[i].id; if(objectID.indexOf("audioplayer") == 0) { ap_instances[i] = objectID.substring(11, objectID.length); } } } var ap_clearID = setInterval( ap_registerPlayers, 100 );