--- /dev/null
+/*!
+ * Ext JS Library 3.0.0
+ * Copyright(c) 2006-2009 Ext JS, LLC
+ * licensing@extjs.com
+ * http://www.extjs.com/license
+ */
+ \r
+ if(Ext.isIE) {\r
+ function fnCleanUp() {\r
+ var p = Function.prototype;\r
+ delete p.createSequence;\r
+ delete p.defer;\r
+ delete p.createDelegate;\r
+ delete p.createCallback;\r
+ delete p.createInterceptor;\r
+\r
+ window.detachEvent("onunload", fnCleanUp);\r
+ }\r
+ window.attachEvent("onunload", fnCleanUp);\r
+ }\r
+})();
\ No newline at end of file