|
<html>
<head>
<script language="JavaScript">
<!--
var extNeed, namePlug;
function findPlugin(ext) {
var thisExt, findExt;
extNeed = ext;
for (var n=0; n < navigator.plugins.length; n++) {
for (var m=0; m < navigator.plugins[n].length; m++) {
thisExt = navigator.plugins[n][m].description.toLowerCase();
findExt = thisExt.substring(0, thisExt.indexOf(" "));
if (findExt == ext) {
namePlug = navigator.plugins[n].name;
return(true);
}
}
}
return(false);
}
if (findPlugin("midi")) {
alert("A plug-in for " + namePlug +" is installed.");
}else {
alert("A plug-in application to play ." + extNeed + " files is not installed!");
}
//-->
</script>
</head>
</html>
|