From e04f22e721e741c71ec4ed513ac6ad6d2d40e8d4 Mon Sep 17 00:00:00 2001
From: Alexander Ebert <ebert@woltlab.com>
Date: Wed, 8 Jul 2015 11:03:36 +0200
Subject: [PATCH] Removed debug code

---
 .../files/js/3rdParty/redactor/redactor.js     | 18 ++++++++----------
 1 file changed, 8 insertions(+), 10 deletions(-)

diff --git a/wcfsetup/install/files/js/3rdParty/redactor/redactor.js b/wcfsetup/install/files/js/3rdParty/redactor/redactor.js
index f3dc12ac15..77da0f2290 100644
--- a/wcfsetup/install/files/js/3rdParty/redactor/redactor.js
+++ b/wcfsetup/install/files/js/3rdParty/redactor/redactor.js
@@ -1984,7 +1984,7 @@
 					html = html.replace(/\$/g, '&#36;');
 
 					// replace special characters in links
-					html = html.replace(/<a href="(.*?[^>]?)®(.*?[^>]?)">/gi, '<a href="$1&reg$2">');
+					html = html.replace(/<a href="(.*?[^>]?)��(.*?[^>]?)">/gi, '<a href="$1&reg$2">');
 
 					if (this.opts.replaceDivs) html = this.clean.replaceDivs(html);
 					if (this.opts.linebreaks)  html = this.clean.replaceParagraphsToBr(html);
@@ -2155,10 +2155,10 @@
 
 						if (this.utils.isCurrentOrParent('PRE'))
 						{
-							html = html.replace(/”/g, '"');
-							html = html.replace(/“/g, '"');
-							html = html.replace(/‘/g, '\'');
-							html = html.replace(/’/g, '\'');
+							html = html.replace(/���/g, '"');
+							html = html.replace(/���/g, '"');
+							html = html.replace(/���/g, '\'');
+							html = html.replace(/���/g, '\'');
 
 							return this.clean.getPreCode(html);
 						}
@@ -2341,7 +2341,7 @@
 						html = $div.html();
 
 						// remove ms word's bullet
-						html = html.replace(/·/g, '');
+						html = html.replace(/��/g, '');
 						html = html.replace(/<p class="Mso(.*?)"/gi, '<p');
 
 						// classes
@@ -2389,7 +2389,7 @@
 					html = html.replace(/<img src="webkit-fake-url\:\/\/(.*?)"(.*?)>/gi, '');
 
 					// bullets
-					html = html.replace(/<p>•([\w\W]*?)<\/p>/gi, '<li>$1</li>');
+					html = html.replace(/<p>���([\w\W]*?)<\/p>/gi, '<li>$1</li>');
 
 					// FF fix
 					if (this.utils.browser('mozilla'))
@@ -2586,7 +2586,7 @@
 				},
 				restoreSelectionMarker: function(html)
 				{
-					html = html.replace(/&lt;span id=&quot;selection-marker-([0-9])&quot; class=&quot;redactor-selection-marker&quot; data-verified=&quot;redactor&quot;&gt;​&lt;\/span&gt;/g, '<span id="selection-marker-$1" class="redactor-selection-marker" data-verified="redactor">​</span>');
+					html = html.replace(/&lt;span id=&quot;selection-marker-([0-9])&quot; class=&quot;redactor-selection-marker&quot; data-verified=&quot;redactor&quot;&gt;���&lt;\/span&gt;/g, '<span id="selection-marker-$1" class="redactor-selection-marker" data-verified="redactor">���</span>');
 
 					return html;
 				},
@@ -2985,8 +2985,6 @@
 					else
 					{
 						this.$textarea.height(height).show().focus();
-						console.debug(height);
-						console.debug(this.$textarea[0].outerHTML);
 						this.$textarea.on('keydown.redactor-textarea-indenting', this.code.textareaIndenting);
 
 						$(window).scrollTop(scroll);
-- 
2.20.1