Fix - Change default font for special letters

[RomainLvr]

Checklist before requesting a review

Please delete options that are not relevant.

• I have performed a self-review of my code.
• I have added tests (when available) that prove my fix is effective or that my feature works.
• I have updated the CHANGELOG with a short functional description of the fix or new feature.
• This change requires a documentation update.

Description

• It fixes !36668

Screenshots (if appropriate):

[Copilot]

Copilot reviewed 1 out of 1 changed files in this pull request and generated no comments.

[Rom1-B]

Aren't we just moving the problem to another language?

A few lines down (I can't comment on this), $font is overwritten by $_SESSION[‘glpipdffont’]. Where can we change this value? This is probably what's missing.

[RomainLvr]

I have removed the use of the glpipdffont session variable. Because apart from causing problems when applying fonts that don't take all character styles into account, it's not very useful.

[Rom1-B]

We have the same code in the core, so I assume that $_SESSION[‘glpipdffont’] was modifiable in the past. I think that's what we need to look into.

[RomainLvr]

I've checked it's not modified anywhere in the code

[Rom1-B]

What I mean is that in the core and the plugin, we are trying to use $_SESSION['glpipdffont'], which is never defined.

The fix you're making in the plugin should also be applied in the core, I think.

[RomainLvr]

okay 👍

[Rom1-B]

Please update the CHANGELOG and it will be OK for me.