Ticket #6666: 6666_2.patch

_source/core/dom/element.js

@@ -1238 +1238 @@
                                         if ( CKEDITOR.env.ie || CKEDITOR.env.opera )
                                         {
                                                 var element = this.$,
+                                                        elements = element.getElementsByTagName("*"),
                                                         e,
                                                         i = 0;
 
                                                 element.unselectable = 'on';
 
-                                                while ( ( e = element.all[ i++ ] ) )
+                                                while ( ( e = elements[ i++ ] ) )
                                                 {
                                                         switch ( e.tagName.toLowerCase() )
                                                         {

_source/core/dom/range.js

@@ -1044 +1044 @@
                                                                                         sibling = null;
                                                                                 else
                                                                                 {
-                                                                                        var allChildren = sibling.$.all || sibling.$.getElementsByTagName( '*' );
+                                                                                        var allChildren = sibling.$.getElementsByTagName( '*' );
                                                                                         for ( var i = 0, child ; child = allChildren[ i++ ] ; )
                                                                                         {
                                                                                                 if ( !CKEDITOR.dtd.$removeEmpty[ child.nodeName.toLowerCase() ] )
@@ -1204 +1204 @@
                                                                                         sibling = null;
                                                                                 else
                                                                                 {
-                                                                                        allChildren = sibling.$.all || sibling.$.getElementsByTagName( '*' );
+                                                                                        allChildren = sibling.$.getElementsByTagName( '*' );
                                                                                         for ( i = 0 ; child = allChildren[ i++ ] ; )
                                                                                         {
                                                                                                 if ( !CKEDITOR.dtd.$removeEmpty[ child.nodeName.toLowerCase() ] )