| Line 1: | Line 1: | ||
== 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. | 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. | ||
== Existing extensions == | == Existing extensions == | ||
Revision as of 17:57, 19 December 2022
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.
