Calixte Denizet 039b9e4df3 When searching for a group of punctuation signs, only add extraspaces around the group
It fixes #20225.

And only add the extra spaces where it's required depending on their position in the query string.
2025-11-21 18:59:37 +01:00
..
2025-08-09 22:34:44 +02:00
2025-10-29 17:34:34 +01:00