$node_params = array();
if (array_search($device['device_user'], $users) === false) {
$users[] = $device['device_user'];
- $tree->addNode($device['device_user'], 'root', $device['device_user'], 0, true, $user_node);
+ $tree->addNode($device['device_user'], 'root', $device['device_user'], 0, false, $user_node);
}
/* Load this device */
*/
public function admin_list()
{
- return array(
+ $admin = array(
'configuration' => array(
'link' => '%application%/admin/setup/',
'name' => _("_Setup"),
'icon' => 'shell.png'
)
);
+
+ if (!empty($GLOBALS['conf']['activesync']['enabled'])) {
+ $admin['activesync'] = array(
+ 'link' => '%application%/admin/activesync.php',
+ 'name' => _("ActiveSync Devices"),
+ 'icon' => 'mobile.png'
+ );
+ }
+
+ return $admin;
}
/**