[spip] Fix #3990 et le support de dans le texte SPIP. - est (...)

spip/spip
-
Par Cerdic, le 11 février 2021 à 14h50min : 

Fix #3990 et le support de <pre> dans le texte SPIP.

- <pre> est echappe et son contenu n'est pas traite par les raccourcis typo
- les bloc <code> contenus dans un <pre> voient simplement leurs entites echappes pour un affichage efficient des balise html

Le contenu suivant :
```
<code>
<a href='#'>Lien</a>

et un second texte ici ?
</code>

<pre>
<a href='#'>Lien</a>

et un second texte ici ?
</pre>

<pre>
<code>
<a href='#'>Lien</a>

et un second texte ici ?
</code>
</pre>
```

produit donc le html suivant :

```
<div style='text-align: left;' class='spip_code' dir='ltr'><code><a href='#'>Lien</a><br />
<br />
et un second texte ici ?</code></div>

<pre>
<a href='#'>Lien</a>

et un second texte ici ?
</pre>

<pre>
<code>
<a href='#'>Lien</a>

et un second texte ici ?
</code>
</pre>
```


*Modifié*
    ecrire/inc/texte_mini.php

Détails : https://git.spip.net/spip/spip/commit/476e4b91920d97274410687f278ddf1ed8612220