remove copyToClipboard (doesn't work)

functions.js

@@ -1751,47 +1751,4 @@ function displayHelpInfobox(topic_id) {
 	return false;
 }
 
-// http://www.dynamic-tools.net/toolbox/copyToClipboard/
 
-/*
-function copyToClipboard(s)
-{
-	if( window.clipboardData && clipboardData.setData )
-	{
-		clipboardData.setData("Text", s);
-	}
-	else
-	{
-		// You have to sign the code to enable this or allow the action in about:config by changing
-		user_pref("signed.applets.codebase_principal_support", true);
-		netscape.security.PrivilegeManager.enablePrivilege('UniversalXPConnect');
-
-		var clip Components.classes['@mozilla.org/widget/clipboard;[[[[1]]]]'].createInstance(Components.interfaces.nsIClipboard);
-		if (!clip) return;
-
-		// create a transferable
-		var trans = Components.classes['@mozilla.org/widget/transferable;[[[[1]]]]'].createInstance(Components.interfaces.nsITransferable);
-		if (!trans) return;
-
-		// specify the data we wish to handle. Plaintext in this case.
-		trans.addDataFlavor('text/unicode');
-
-		// To get the data from the transferable we need two new objects
-		var str = new Object();
-		var len = new Object();
-
-		var str = Components.classes["@mozilla.org/supports-string;[[[[1]]]]"].createInstance(Components.interfaces.nsISupportsString);
-
-		var copytext=meintext;
-
-		str.data=copytext;
-
-		trans.setTransferData("text/unicode",str,copytext.length*[[[[2]]]]);
-
-		var clipid=Components.interfaces.nsIClipboard;
-
-		if (!clip) return false;
-
-		clip.setData(trans,null,clipid.kGlobalClipboard);	   
-	}
-} */