Bonjour à tous 8)
Je cherche un script ou une classe PHP qui me permettrait de prendre du code Java (texte brut) et de le formatter en HTML à la manière d'un éditeur de code (indentation, couleur, ..).
Si vous connaissez qqch qui pourrait répondre à mes attentes, faites moi signes svp!
molgow
Va sur http://www.php.net et jette un oeil sur cette fonction :
show_source();
Merci, mais malheureusement je n'arrive pas à utiliser cette fonction, et d'après la doc de toute manière, cela formatte du PHP..
tu peux aller voir ca :
http://www.chami.com/colorizer/
mais c'est pas tres beau, et on ne télécharge pas vraiment le prog.
Enfin ca donne des idées.
Merci! Effectivement, c'est pas très beau, et je cherche quelque chose d'un peu plus perfectionné (indentation)..
Mais bon, je sens que je vais me mettre à créer moi-même un script de ce genre (ça doit pas être impossible surtout avec les regexp..)
Hello,
C'est juste une réponse 2 ans plus tard, mais bon, ça sera pour le moteur de recherche
Il y a le projet http://qbnz.com/highlighter/ qui est pas mal du tout, et avec en prime, plusieurs langages supporté. C'est principalement pour la colorisation, mais il fait bien plus que ça!
Voilà,
Bonne soirée.
Propulsé par Invision Power Board (http://www.invisionboard.com)
© Invision Power Services (http://www.invisionpower.com)