Infrastructure

The skin comes with MediaWiki 1.38 and above, so with the next LTS upgrade to 1.39, we could use it. However, I understand that we use some custom skin of our own. I have no experience with modifying the skin (do we need to modify it?).

Something maybe for Dennis, if he still takes care of the wiki?

Beluga Beluga wrote in #note-1:

However, I understand that we use some custom skin of our own. I have no experience with modifying the skin (do we need to modify it?).

If such modifications are made following instructions from MediaWiki, they should be found out easily after seeing documentations at MediaWiki website, and then you can port some of them to Vector 2022 skin.