User:Daniel/Extensions: Difference between revisions

Revision as of 14:06, 21 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.

Existing extensions

Installed

Extension:ArticlePlaceholder
- ticket
  - Documentation: To do
Extension:Graph
- ticket
  - Documentation: To do
Extension:Thanks
- ticket
  - Documentation: To do

Installation requested

Installation considered

Installation rejected

Modifications considered

Extensions yet to be built

@@ Line 6: / Line 6: @@
 === Installed ===
+* [https://www.mediawiki.org/wiki/Extension:Thanks Extension:ArticlePlaceholder]
+** [https://github.com/MaRDI4NFDI/portal-compose/issues/327 ticket]
+*** Documentation: To do
 * [https://www.mediawiki.org/wiki/Extension:Graph Extension:Graph]
 ** [https://github.com/MaRDI4NFDI/portal-compose/issues/328 ticket]