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-07-07 09:59:36 +09:00
2025-10-30 09:48:46 -05:00