User:Daniel/Extensions

From MaRDI portal
Revision as of 17:57, 19 December 2022 by Daniel (talk | contribs) (About)

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.

Existing extensions

Installed

Installation requested

Installation considered

Installation rejected

Modifications considered

Extensions yet to be built