/**
* Reads all the installed extensions from the filesystem
* This function assumes a fixed relative path structure
* e.g.
* /$dirX
* /$dirX/ExtensionManager/ExtensionManager_stub.php
*
* where $dirX is just the parent directory.
*/
static function readFromFileSystem()
{
self::$edir = realpath(dirname(dirname(__FILE__)));
$dirs = self::getDirs(self::$edir);
// Each directory found is assumed to be an extension.
return self::extractFiles($dirs);
}
