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: [email protected]
ReportedBy: [email protected]
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
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
