https://bugzilla.wikimedia.org/show_bug.cgi?id=22512
Shauna <sha...@shaunagordon.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |sha...@shaunagordon.com
--- Comment #4 from Shauna <sha...@shaunagordon.com> 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
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
