return $myrow[0];
}
+function get_company_extensions($id = -1) {
+ global $path_to_root;
+
+ $file = $path_to_root.($id == -1 ? '' : '/company/'.$id).'/installed_extensions.php';
+ $installed_extensions = array();
+ if (is_file($file)) {
+ include($file);
+ }
+ return $installed_extensions;
+}
+
?>
\ No newline at end of file