Hello everyone,
Our wiki is now using the latest and greatest Mediawiki 1.23. Since our installation uses a large number of extensions, it’s possible there may be some bugs as a result of various incompatibility.
Please post here if you have any trouble!
Thanks!