--- /dev/null
+<html>\r
+<head>\r
+ <title>The source code</title>\r
+ <link href="../resources/prettify/prettify.css" type="text/css" rel="stylesheet" />\r
+ <script type="text/javascript" src="../resources/prettify/prettify.js"></script>\r
+</head>\r
+<body onload="prettyPrint();">\r
+ <pre class="prettyprint lang-js"> \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
+})();</pre> \r
+</body>\r
+</html>
\ No newline at end of file