Ticket #6236: 6236.patch

_source/plugins/list/plugin.js

@@ -33 +33 @@
                         for ( var i = 0, count = listNode.getChildCount() ; i < count ; i++ )
                         {
                                 var listItem = listNode.getChild( i );
+                                
+                                // #6236
+                                if( listItem.$.nodeName.toLowerCase() == 'ol' && CKEDITOR.env.ie )
+                                {
+                                        CKEDITOR.plugins.list.listToArray( listItem, database, baseArray, baseIndentLevel + 1 );
+                                }
 
                                 // It may be a text node or some funny stuff.
                                 if ( listItem.$.nodeName.toLowerCase() != 'li' )