On Mon, Jun 29, 2015 at 11:04 AM, Ricordisamoa <ricordisamoa(a)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 <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.
>>
>> 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.