Portal:MediaWiki extensions

From MaRDI portal
Revision as of 15:11, 24 February 2023 by Daniel (talk | contribs) (started)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

About

This page assists in getting an overview of the MediaWiki extensions used on this wiki. The complete set of extensions installed is always accessible via Special:Version, each with a link to their generic description page. Some of these extensions have been customized for MaRDI workflows, and if details about that are of broader interest, they can be documented here. One way in which our setup differs from defaults is that most of the configuration (excluding sensitive information) can be inspected, modified and reused via the Portal's GitHub repository.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Portal:MediaWiki_extensions&oldid=104480"
Powered by MediaWiki