Ticket #2514: 2514.patch

_source/core/tools.js

@@ -357 +357 @@
          */
         indexOf : function( array, entry )
         {
+                if( typeof array.indexOf == 'function' )
+                        return array.indexOf( entry );
+
                 for ( var i = 0, len = array.length ; i < len ; i++ )
                 {
                         if ( array[ i ] == entry )