On Tue, Jun 23, 2015 at 7:23 AM, Aran aran@organicdesign.co.nz wrote:
Also for those that prefer the client to do the work I recently made an extension to use the highlight.js module at highlightjs.org. https://www.mediawiki.org/wiki/Extension:HighlightJS
This is very nice, and may be a target for a future migration. It'd be great if the extension had a server-side implementation as well in the form of a node.js service that MediaWiki could call.