Thread:Kirkburn/@comment-118323-20170302184921

Hi George;

Can you root through the old documentation and find which Syntax Highlighting extension we adapted from MediaWiki.org?

Thank you! 