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