Info about the new development wiki?

Hi, i can’t seem to find information about the new wiki setup that has been implemented for I was wondering if someone could shed some light on how it works? Is it based on an SSG like Hugo/Jeykill/something else? Is it a git with commits? Is the source in markdown or something else?

It’s MediaWiki, just like the old one. The difference is that we now only use it for development related topics, and that creating accounts is limited to developers.

Wow, looks impressive for media wiki. So, I guess just a new theme has been implemented?

Yes, it’s a custom theme.