public function main() { /* Find all loaded modules */ $modules = []; foreach (Module::getLoadedModules() as $module) { if (is_file($module . "/" . self::$specificationIndex)) { $modules[] = Document::parse($module . "/" . self::$specificationIndex); } } return $modules; }