

et autre chose aussi: l’appel du plug-in se fait par [[GeSHi?&file=`source/myFile.php` &lang=`php`]]

ouaip je viens de voir, je savais pas que "coloration" se tarduisait par "highlighting"
par contre d’apres le topic de geshi, il parait que la classe utilisée est tres lente...et autre chose aussi: l’appel du plug-in se fait par
[[GeSHi?&file=`source/myFile.php` &lang=`php`]]
ce qui m’embete c’est le "file=" moi je veux juste colorer une partie du texte de ma page c’est tout
je vais voir sur le net si il y’a pas de script de coloration indépendant qu’on pourrait intégrer
I have updated the plugin: since GeSHi is VERY slow, the new version of the plugin applies highlighting only on those documents that are retrieved from the database. In this way, documents get cached along with their highlighting, reducing to 0 the cost of highlighting cached documents.