On Mon, Jun 22, 2015 at 8:48 PM, Ori Livneh <[email protected]> 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 _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
