MediaWiki/extension: Difference between revisions

Latest revision as of 20:48, 1 May 2022

A MediaWiki extension is a type of plug-in module that extends the functionality of a MediaWiki site.

@@ Line 1: / Line 1: @@
-{{seed}}
+==About==
+A '''[[MediaWiki]] extension''' is a type of plug-in module that extends the functionality of a MediaWiki site.
+==Pages==
+* {{l/sub|dev}}elopment
+* {{l/sub|list}} of potentially useful extensions
 ==Links==
-* '''Official''': [[mwsite:Manual:Extensions]]
+===Reference===
-===Development===
+* '''Official''': {{l/mw|Manual:Extensions}}
-* '''Official''':
-** [[mwsite:Manual:Extension registration]]
-*** [[mwsite:Manual:Extension.json/Schema]]
 ==Notes==
 * [[wooz:MediaWiki]]: some extensions and MW coding notes
-===Documented(?) Here===
-* [[SpamFerret]]
-* [[SpecialManPage]]
-===Available via MediaWiki===
-* documented here:
-** [[Semantic MediaWiki]]
-* documented on mediawiki.org:
-** {{l/mw|Extension:AccessControl}}
-** {{l/mw|Extension:Approved Revs}}
-** {{l/mw|Extension:FlaggedRevs}}
-** {{l/mw|Extension:Page Schemas}}
-** {{l/mw|Extension:PhpTags}} implements a simplified/sandboxed PHP syntax for scripting.
-** {{l/mw|Extension:Variables}} allows you to define/redefine a variable on a page, use it later in that same page or transcluded templates.
-** {{l/mw|Extension:Widgets}} allows you to define raw HTML pages to be transcluded elsewhere.