Portal:MediaWiki extensions: Difference between revisions

Latest revision as of 17:31, 25 February 2023

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.

Revision as of 14:11, 24 February 2023 view source Daniel (talk \| contribs) Bureaucrats, Interface administrators, private, Suppressors, Administrators 617,302 edits started		Latest revision as of 17:31, 25 February 2023 view source Daniel (talk \| contribs) Bureaucrats, Interface administrators, private, Suppressors, Administrators 617,302 edits →About
Line 1:		Line 1:
	== About ==		== About ==
	This page assists in getting an overview of the [https://www.mediawiki.org/wiki/Manual:Extensions 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 [https://github.com/MaRDI4NFDI/portal-compose/tree/main/mediawiki GitHub repository].		This page assists in getting an overview of the [https://www.mediawiki.org/wiki/Manual:Extensions 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 [https://www.mediawiki.org/ 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 [https://github.com/MaRDI4NFDI/portal-compose/tree/main/mediawiki GitHub repository].