wiki.techinc.nl/extensions

== User Information ==

Extensions are distributed separately. Drop them into this directory and enable
as per the extension's installation instructions.

You can find a list of extensions and documentation at
<https://www.mediawiki.org/wiki/Special:MyLanguage/Category:Extensions>.

== Development Information ==

If you are a developer, you might want to fetch the extension tree in another
directory and make a symbolic link:

 mediawiki/extensions$ ln -s ../../extensions-trunk/FooBar

Most extensions are available through Git:
    https://gerrit.wikimedia.org/g/mediawiki/extensions


Please note that under POSIX systems (Linux...), parent of a symbolic path
refers to the link source, NOT to the target! You should check the env
variable MW_INSTALL_PATH in case the extension is not in the default location.

The following code snippet lets you override the default path:

 $IP = getenv( 'MW_INSTALL_PATH' );
 if ( $IP === false ) {
	$IP = __DIR__ . '/../..';
 }
 require_once "$IP/maintenance/Maintenance.php"; // a MediaWiki core file