Text gets texturized in <pre>, <code> if the block contains a tag

[allan]

If a <code>, <pre>, etc. block contain a tag, then text after that tag gets the usual treatment (smart quotes etc.).

E.g. this text: <pre>"foo"<br>"bar"</pre>

Becomes (after the wptexturize filter): <pre>"foo"<br>&#8220;bar&#8221;</pre>

[allan]

Patch to fix the problem

[Justinsomnia]

Confirming this is still an issue in v2.0.1

Another test case:

<pre>"test"<strong>"test"</strong>"test"</pre>

is transformed into:

<pre>"test"<strong>&#8220;test&#8221;</strong>&#8220;test&#8221;</pre>

[Justinsomnia]

Oops thought it would ask me. This is a duplicate of #1290.