On Mon, Jun 22, 2015 at 8:48 PM, Ori Livneh ori@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.