Whops, I had it wrong!
I just understood why you had this code in the first place. WordPress actually replaces single quotes to ’, hence the original code was needed.
My problem is that I use Page Builder plugin which disables the single quote to ’.
Hello,
Two terms were not working : “artif’” and “terrain d’aventure”.
The problem is that the current code changes ‘ to ´ but not everywhere. You could either not change it (the patch I wrote above) or change it everywhere (one line needs to be changed if I recall correctly).
I would prefer not to change ‘ to ´ to be consistent with non-glossary words.
I’d be curious to know more about the bug this fixes.