+
+ // update per company files
+ $cnt = count($db_connections);
+ for($i = 0; $i < $cnt; $i++)
+ {
+ $exts = get_company_extensions($i);
+ foreach($exts as $key => $ext) {
+ if ($ext['name'] == $ident) {
+ unset($exts[$key]);
+ break;
+ }
+ }
+ write_extensions($exts, $i);
+ }