Bug de compression des .js en spip 3.2.9 et 3.2.11 avec PHP 7.3.x

Bonjour,

(Pour info, au cas où le compresseur n'ait pas été corrigé dans la version 4 attendue pour les jours qui viennent…)

Le serveur de mon établissement vient de passer de PHP 2.? à 7.3.28, et désormais la compression des .js lors de leur mise en cache comporte des erreurs. Plus précisément à chaque occurence de la séquence de caractères "//" dans le .js (guillemets compris), l'instruction est tronquée dans le .js en cache. Par exemple dans jquery.js :        .replace( rprotocol, location.protocol + "//" ); devient : .replace(rprotocol,location.protocol+" (A la clé, dysfonctionnement absolu de l'interface ecrire, pas d'autre solution que d'interdire la mise en cache des js).

Cela vient peut-être de ce qu'il y a eu un changement de la gestion des RegExpr lors du passage de PHP 7.2 à PHP 7.3 ? (vu sur https://www.php.net/manual/fr/migration73.other-changes.php). Tests faits en 3.2.9 et 3.2.11, comportement identique dans les deux versions.

Bien à vous,

AMM