On Mon, Jun 22, 2015 at 8:48 PM, Ori Livneh
<ori(a)wikimedia.org> wrote:
Over the course of the next two days, a major
update to the
SyntaxHighlight_GeSHi extension will be rolled out to Wikimedia wikis. The
change swaps geshi, the unmaintained PHP library which performs the lexical
analysis and output formatting of code, for another library, called
Pygments.
... Please tell me we're not really going to have the final state here be
an extension named "SyntaxHighlight_GeSHi" that doesn't use GeSHi anymore.