https://bugzilla.wikimedia.org/show_bug.cgi?id=22512
Shauna <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #4 from Shauna <[email protected]> 2012-09-19 16:22:51 UTC --- (In reply to comment #1) > Pygments is written in Python, while MediaWiki in PHP. A monster that will > combine the two pieces, apparently by execing a Python interpreter, is not an > option for sites of any reasonable size for performance reasons. How do you > suggest to overcome this? There's now a bridge that overcomes this issue, called Pygments for PHP ( http://derek.simkowiak.net/pygments-for-php/ ). Given that a Wordpress extension has successfully been made using it, perhaps this is now a viable request? -- 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 on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
