https://bugzilla.wikimedia.org/show_bug.cgi?id=22512
--- Comment #5 from Niklas Laxström <niklas.laxst...@gmail.com> 2012-09-19 17:00:58 UTC --- As far as I can see pygmentize() is just launching the python interpreter behind the scenes.(In reply to comment #4) > (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? That bridge only does what was written above: "execing a Python interpeter". -- 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