mediawiki-extension
Here are 420 public repositories matching this topic...
Mediawiki extension to use MediaElement.js media player
-
Updated
Dec 29, 2015 - JavaScript
-
Updated
Jun 3, 2016 - PHP
The Stats For Sharks Stats Widget
-
Updated
Nov 10, 2020 - PHP
DataTransfer extension for templating mediawiki pages with csv data.
-
Updated
Aug 29, 2021 - Python
Github mirror of MediaWiki extension Lingo - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing)
-
Updated
Jan 30, 2021 - JavaScript
🔗 Semantic MediaWiki turns MediaWiki into a knowledge management platform with query and export capabilities
-
Updated
Apr 29, 2021 - PHP
-
Updated
Jul 18, 2021 - PHP
Experimental CrowdSec Bouncer Integration for MediaWiki
-
Updated
Apr 7, 2023 - PHP
MediaWiki extension that allows to use inline SVG, sanitising it
-
Updated
Aug 26, 2022 - PHP
The AuthDrupal extension allows for sign-in integration of MediaWiki under Drupal.
-
Updated
Jul 12, 2023 - PHP
-
Updated
Feb 13, 2024 - PHP
The MagicalLinkers extension provides dynamic linking of inline keywords, such as magic links.
-
Updated
Jul 24, 2018 - PHP
Fork of Extension:TemplateData for Mediawiki. This version has additional code for accessing TemplateData as Lua tables. Please verify that the remaining code is up to date.
-
Updated
Oct 13, 2019 - JavaScript
🌻🚀 Provides helper cmdlets for upgrading MediaWiki extensions (and skins) in PowerShell on any OS.
-
Updated
Dec 8, 2022 - C#
-
Updated
Jul 18, 2021 - JavaScript
A silly extension for Mediawiki to add a few useful tags for taking notes for a roleplaying game
-
Updated
Feb 15, 2022 - PHP
Improve this page
Add a description, image, and links to the mediawiki-extension topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the mediawiki-extension topic, visit your repo's landing page and select "manage topics."