[dev ↪ refacto_form_charter] Compatibilité avec la nouvelle mouture de coloration_code +

spip/dev
-
Par tcharlss, le 23 avril 2021 à 17h52min :

Compatibilité avec la nouvelle mouture de coloration_code + prism (et toujours avec Geshi)

*Modifié*
    dev_fonctions.php
    prive/style_prive_plugin_dev.html

Détails : https://git.spip.net/spip/dev/commit/9d4d712b84cd5028144155f06e42c2b2134fbd80