WebPlaform Docs’ MediaWiki micro-extensions and skin