User:Daniel/Extensions: Difference between revisions

From MaRDI portal
Line 2: Line 2:


This page assists in keeping track of [https://www.mediawiki.org/wiki/Extension MediaWiki extensions] relevant to this wiki. This includes existing extensions already installed (cf. [[Special:Version]]) or under consideration to be installed as well as potentially some yet to be built or adapted for local use on this wiki. Since the totality of these extensions might form a decent list, we will only list those that seem particularly in need of attention here.
This page assists in keeping track of [https://www.mediawiki.org/wiki/Extension MediaWiki extensions] relevant to this wiki. This includes existing extensions already installed (cf. [[Special:Version]]) or under consideration to be installed as well as potentially some yet to be built or adapted for local use on this wiki. Since the totality of these extensions might form a decent list, we will only list those that seem particularly in need of attention here.
== Generic documentation ==
The page [[Portal:MediaWiki extensions]] is to host documentation once a setup is reasonably stable.


== Existing extensions ==
== Existing extensions ==

Revision as of 14:12, 24 February 2023

About

This page assists in keeping track of MediaWiki extensions relevant to this wiki. This includes existing extensions already installed (cf. Special:Version) or under consideration to be installed as well as potentially some yet to be built or adapted for local use on this wiki. Since the totality of these extensions might form a decent list, we will only list those that seem particularly in need of attention here.

Generic documentation

The page Portal:MediaWiki extensions is to host documentation once a setup is reasonably stable.

Existing extensions

Installed

Installation requested

Installation considered

Installation rejected

Modifications considered

Extensions yet to be built

Notes