HTML tags followed by space are not rendered

Old issue: #127213: HTML tags not being rendered

I've tested following code:

<pre>Does work!</pre>
  <pre>Doesn't work!</pre>

It's rendered to:

<pre>Does work!</pre><br /> 
<pre>  6Doesn't work!7</pre><br /> 

Why there are some numbers?

Other example with table:

<table>
  <tr>
      <td>Table doesn't work</td>
      <td>Table doesn't work</td>
      <td>Table doesn't work</td>
  </tr>
<tr>
<td>Table does work</td>
<td>Table does work</td>
<td>Table does work</td>
</tr>
</table>

rendered to:

<table><br /> 
<pre>  9
      10Table doesn't work11
      12Table doesn't work13
      14Table doesn't work15
  16</pre><br /> 
<tr><br /> 
<td>Table does work</td><br /> 
<td>Table does work</td><br /> 
<td>Table does work</td><br /> 
</tr><br /> 
</table>

What the hell?

=> $key = 159 pearwiki_filter/Text/Wiki.php:1081
=> $rule = 'Preformatted' pearwiki_filter/Text/Wiki.php:1082
=> $opts = array ('text' => ' \0311\031\0312\031subject\0313\031\0314\031predicate\0315\031\0316\031object\0317\031\0318\031\n ... pearwiki_filter/Text/Wiki.php:1083

Looks like in Preformatted mode (./Text/Wiki/Render/Xhtml/Preformatted.php)
it's encoding the whole line.

    function token($options) {
        $text = $this->textEncode($options['text']);
...
    function textEncode($text) {
        return htmlspecialchars($text);

Bug reported here:
http://pear.php.net/bugs/bug.php?id=18625

Patch attached against Text/Wiki/Mediawiki.php.

Marked as fixed, because it's a patch in 3rd party code.