Fix code copying for PHP in Google Chrome

diff --git a/wcfsetup/install/files/lib/system/bbcode/highlighter/PhpHighlighter.class.php b/wcfsetup/install/files/lib/system/bbcode/highlighter/PhpHighlighter.class.php
index eadc35b3821f5a4f3c04b01fcc15f2b96887b4ab..df9730ae9433cbd3625c3f6a14973d203ae15965 100644 (file)
--- a/wcfsetup/install/files/lib/system/bbcode/highlighter/PhpHighlighter.class.php
+++ b/wcfsetup/install/files/lib/system/bbcode/highlighter/PhpHighlighter.class.php
@@ -56,8 +56,12 @@ class PhpHighlighter extends Highlighter {
                // remove breaks
                $highlightedCode = str_replace("\n", "", $highlightedCode);
                $highlightedCode = str_replace('<br />', "\n", $highlightedCode);
+               
                // get tabs back
                $highlightedCode = str_replace('&nbsp;&nbsp;&nbsp;&nbsp;', "\t", $highlightedCode);
+               // replace non breaking space with normal space, white-space is preserved by CSS
+               $highlightedCode = str_replace('&nbsp;', " ", $highlightedCode);
+               
                // convert colors to classes
                $highlightedCode = strtr($highlightedCode, self::$colorToClass);