MediaWiki extensions

This page has been moved to Manual:Extensions on mediawiki.org.

Any modifications or additions to this page should be made on mediawiki.org instead.