Extension:ExtensionManager

The name is confusing and misleading. This is NOT an essential extension for wikis, it only makes it easier to install other extensions by Jean-Lou Dupont.

ExtensionManager provides a means of easily installing 'extensions' to MediaWiki. Once installed, other extensions retrieved through Jean-Lou Dupont's PEAR channel do not have to be explicitly added to

Dependency

 * [optional] PEAR::Validate

Additional Installation Notes
Make sure that this extension is listed first (and after Extension:StubManager if the latter is required) in LocalSettings.php in order to ensure that extensions dependent on this one work correctly.

Functional Notes

 * Use real caching e.g. PHP/pecl APC
 * Else, the extension directories will be rescanned on each request (i.e. much slower)

For Extension Developers
An example file Example.php is made available in the installation tarball / PEAR package.