Portal:MediaWiki extensions
From MaRDI portal
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.