Portal:MediaWiki extensions

From MaRDI portal
Revision as of 17:31, 25 February 2023 by Daniel (talk | contribs) (About)
(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. As is common for MediaWiki sites, the complete set of extensions installed is accessible via Special:Version, where each is listed with a link to its generic description page on the MediaWiki wiki. 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.