installed_extensions.php

   1 <?php
   2
   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.
   6
   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;
  15                 related to 'path'
  16         'access' - security area code in string form
  17 */
  18
  19 $next_extension_id = 1; // unique id for next installed extension
  20
  21 $installed_extensions = array (
  22         );
  23 ?>