On Mon, 29 Jun 2015 20:01:08 +0200, Brad Jorsch (Anomie) bjorsch@wikimedia.org wrote:
... 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.
Yeah, that would suck somewhat.
https://phabricator.wikimedia.org/T103614