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.
--
Brad Jorsch (Anomie)
Software Engineer
Wikimedia Foundation