/** Returns a singleton instance of the extensionmanager. Use this instead of "new extensionmanager()" as it
* performs some initialization.
*/
function get_extensionmanager()
{
if (is_object(self::$singleton)) {
return self::$singleton;
}
self::$singleton = new extensionmanager();
self::$singleton->init();
return self::$singleton;
}
