Board Thread:Support Requests - Designing Your Wiki/@comment-26099385-20171110225022/@comment-9605025-20171111000553

They use this custom JS which is then imported on their MediaWiki:ImportJS.