https://bugzilla.wikimedia.org/show_bug.cgi?id=22512
Summary: A new MediaWiki extension to provide syntax highlighting with pygments Product: MediaWiki extensions Version: any Platform: All URL: http://pygments.org OS/Version: All Status: NEW Severity: enhancement Priority: Normal Component: Extensions requests AssignedTo: wikibugs-l@lists.wikimedia.org ReportedBy: mike.lifegu...@gmail.com Please write a new syntax highlighting extension which uses Pygments instead of GeSHi. *GeSHi is showing it's age *Pygments produces nicer highlighting in many cases *Pygments is actively developed, and ever so much trendier (just look at the purty webpage!) -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug. You are watching all bug changes. _______________________________________________ Wikibugs-l mailing list Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l