Edge fails when dealing with custom markers

diff --git a/wcfsetup/install/files/js/WoltLabSuite/Core/Ui/Redactor/Format.js b/wcfsetup/install/files/js/WoltLabSuite/Core/Ui/Redactor/Format.js
index ea6eaddc5aec561b9e5911b45e0c6c2c0e40b599..417f8cf06e13391146ba20c5117c33266715da37 100644 (file)
--- a/wcfsetup/install/files/js/WoltLabSuite/Core/Ui/Redactor/Format.js
+++ b/wcfsetup/install/files/js/WoltLabSuite/Core/Ui/Redactor/Format.js
@@ -45,8 +45,8 @@ define(['Dom/Util'], function(DomUtil) {
                        else {
                                // removing existing format causes the selection to vanish,
                                // these markers are used to restore it afterwards
-                               markerStart = elCreate('woltlab-tmp-marker');
-                               markerEnd = elCreate('woltlab-tmp-marker');
+                               markerStart = elCreate('mark');
+                               markerEnd = elCreate('mark');
                                
                                var tmpRange = range.cloneRange();
                                tmpRange.collapse(true);
@@ -219,7 +219,7 @@ define(['Dom/Util'], function(DomUtil) {
                        // search for tags that are still floating around, but are completely empty
                        elBySelAll('span', editorElement, function (element) {
                                if (element.parentNode && !element.textContent.length && element.style.getPropertyValue(property) !== '') {
-                                       if (element.childElementCount === 1 && element.children[0].nodeName === 'WOLTLAB-TMP-MARKER') {
+                                       if (element.childElementCount === 1 && element.children[0].nodeName === 'MARK') {
                                                element.parentNode.insertBefore(element.children[0], element);
                                        }