On Mon, Jun 29, 2015 at 11:04 AM, Ricordisamoa <ricordisa...@openmailbox.org > wrote:
> Il 29/06/2015 20:01, Brad Jorsch (Anomie) ha scritto: > >> On Mon, Jun 22, 2015 at 8:48 PM, Ori Livneh <o...@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. >> >> Here we are. The mixed case, nonsense word, and inconsistent word separation were simply too dear to let go. It puts a song in your heart every time you need to type it. _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l
