6 Mar
2006
6 Mar
'06
5:30 p.m.
Johannes Ahlmann wrote:
an alternative would be geshi (http://qbnz.com/highlighter/) for which a mediawiki plugin also exists (http://meta.wikimedia.org/wiki/GeSHiHighlight), but it says on the geshi site "GeSHi supports PHP5 and Windows". and i'm not clear whether they mean it _also_ supports those options or exclusively.
it would be cool if one of the wiki maintainers could look into this matter and possibly install/setup one of the above extensions.
I'll look into GeSHi.