Bonjour à tous, et à toutes.

Cela fait un bon moment que je ne suis pas venu sur le forum. Donc ... voila, j'ai une question :

J'aimerais remplacer dans un texte html les doubles guillemets " par des double guillemets d'ouverture, et de fermeture.

Mais, à part faire ca avec un split et en remplacer 1 sur 2 par 1 d'ouverture puis 1 de fermeture, je ne vois pas comment faire.

D'autant que cela prends beaucoup de ressources pour un avantage plutot leger...

Alors je suis à la recherche de solution...

Merci

Là comme ça, je n'ai pas de solution, mais une piste :
preg_replace().
En particulier, tu dois pouvoir t'inspirer des exemples (celui-là à vue de nez).

Sinon, une recherche sur le net avec guillemets typographiques me renvoie par exemple un plugin pour spip dont tu peux t'inspirer...

A ouais, merci...

Je n'avais pas vu cet exemple. Il m'etait passé sous le nez