From 17152bd0b195ecf8d2fdb39a1832be2947d53fb9 Mon Sep 17 00:00:00 2001 From: Shish Date: Thu, 15 Jan 2009 21:57:30 -0800 Subject: [PATCH] whitespace --- ext/ext_manager/main.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ext/ext_manager/main.php b/ext/ext_manager/main.php index 011c2504..b634ca41 100644 --- a/ext/ext_manager/main.php +++ b/ext/ext_manager/main.php @@ -42,7 +42,7 @@ class ExtensionInfo { // {{{ $start = $matches[1]." "; $start_len = strlen($start); while(substr($lines[$i+1], 0, $start_len) == $start) { - $this->description .= substr($lines[$i+1], $start_len); + $this->description .= " ".substr($lines[$i+1], $start_len); $i++; } } @@ -51,7 +51,7 @@ class ExtensionInfo { // {{{ $start = $matches[1]." "; $start_len = strlen($start); while(substr($lines[$i+1], 0, $start_len) == $start) { - $this->documentation .= substr($lines[$i+1], $start_len); + $this->documentation .= " ".substr($lines[$i+1], $start_len); $i++; } }