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