company/0/installed_extensions.php

   1 <?php
   2
   3 /*
   4         Do not edit this file manually. This copy of global file is overwritten
   5         by extensions editor.
   6 */
   7
   8 $installed_extensions = array (
   9         );
  10 ?>