Retain single spaces as spaces to condense HTML

diff --git a/Zend/zend_highlight.c b/Zend/zend_highlight.c
index bd64d98e0b09e3ae3cd91cc87ce85dda2833581f..ea23a4214c2c6d26996b89c1dd13fcdcad01c314 100644 (file)
--- a/Zend/zend_highlight.c
+++ b/Zend/zend_highlight.c
@@ -66,6 +66,15 @@ ZEND_API void zend_html_puts(char *s, uint len)
        register char *ptr=s, *end=s+len;
        
        while (ptr<end) {
+               if (*ptr==' '
+                       && len>1
+                       && !(((ptr+1)>=end) || (*(ptr+1)==' ')) /* next is not a space */
+                       && !((ptr==s) || (*(ptr-1)==' '))) /* last is not a space */ {
+                       char c = *ptr++;
+
+                       ZEND_PUTC(c);
+                       continue;
+               }
                zend_html_putc(*ptr++);
        }
 }