3 /* List of installed additional modules and plugins. If adding extensions manually
4 to the list make sure they have unique, so far not used extension_ids as a keys,
5 and $next_extension_id is also updated.
7 'name' - name for identification purposes;
8 'type' - type of extension: 'module' or 'plugin'
9 'path' - FA root based installation path
10 'filename' - name of module menu file, or plugin filename; related to path.
11 'tab' - index of the module tab (new for module, or one of standard module names for plugin);
12 'title' - is the menu text (for plugin) or new tab name
13 'active' - current status of extension
14 'acc_file' - (optional) file name with $security_areas/$security_sections extensions;
16 'access' - security area code in string form
19 $next_extension_id = 1; // unique id for next installed extension
21 $installed_extensions = array (