Ticket #7581: 7581.patch

_source/plugins/enterkey/plugin.js

@@ -129 +129 @@
                                         {
                                                 // Otherwise, duplicate the previous block.
                                                 newBlock = previousBlock.clone();
-                                                // Value attribute of list item should not be duplicated (#7330).
-                                                newBlock.is( 'li' ) && newBlock.removeAttribute( 'value' );
                                         }
                                 }
                                 else if ( nextBlock )
@@ -180 +178 @@
                                 if ( !newBlock.getParent() )
                                         range.insertNode( newBlock );
 
+                                // list item start number should not be duplicated (#7330), but we need
+                                // to remove the attribute after it's onto the DOM tree because of old IEs (#7581).
+                                newBlock.is( 'li' ) && newBlock.removeAttribute( 'value' );
+
                                 // This is tricky, but to make the new block visible correctly
                                 // we must select it.
                                 // The previousBlock check has been included because it may be