je n'avais pas remarqué jusqu'à présent, mais l'hitoire des
include_local($chemin_cache) avait aussi fait sauter la fonctionnalité de
surlignage (#DEBUT_SURLIGNE et #FIN_SURLIGNE ne marchaient plus).
A vérifier donc, si le retour à include() a rétabli le truc (mes premiers
tests sont négatifs, mais j'ai pas le temps de creuser tout de suite)... à
suivre donc...
je n'avais pas remarqué jusqu'à présent, mais l'hitoire des
include_local($chemin_cache) avait aussi fait sauter la fonctionnalité de
surlignage (#DEBUT_SURLIGNE et #FIN_SURLIGNE ne marchaient plus).
A vérifier donc, si le retour à include() a rétabli le truc (mes premiers
tests sont négatifs, mais j'ai pas le temps de creuser tout de suite)... à
suivre donc...
En revérifiant la chose à température plus normale, pas de souci, ça
re-fonctionne parfaitement.