Extension:NamespaceManager

<?php /*

Purpose
Base class for 'Namespace Manager' extensions i.e. extensions that provide services under a specific namespace.

NOTE
This file isn't an extension per-se but rather a required class for other extensions e.g. Extension:ExtensionManager.

Features

 * Automatically sets up the declared hooks of the derived class of 'NamespaceManager'
 * Provides easy registration of 'messages'
 * Provides easy registration of log related global variables
 * Reports the number of registered namespace name

Dependancy
None.

Installation
To install independantly from BizzWiki:
 * Dowload 'NamespaceManager.php' and place it in '/extensions/NamespaceManager/'
 * Apply the following changes to 'LocalSettings.php':