On Tue, Jun 23, 2015 at 7:23 AM, Aran <aran(a)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.