Extension:AutoExtensionLoader

Introduction
This extension loads all extensions in extension folder, which are stored either as

/extensions/EXTENSIONNAME/EXTENSIONNAME.php

or as

/extensions/EXTENSIONNAME.php

Requirements
This extension has no requirements.

Usage
It simplifies installation of extensions: From now on it's enough to put them into the extension folder. AutoExtensionLoader will then load it!

Installation
1. Store the file below in your extensions/AutoExtensionLoader/

2. Add a call to it at the end of LocalSettings.php: