From a11670a23585e0c3d764882e6876d7c40da4c02a Mon Sep 17 00:00:00 2001 From: m-lopez-f Date: Wed, 25 Nov 2015 08:50:01 +0100 Subject: [PATCH] Delete file, dont use --- pandora_console/operation/gis_maps/index.php | 71 -------------------- 1 file changed, 71 deletions(-) delete mode 100644 pandora_console/operation/gis_maps/index.php diff --git a/pandora_console/operation/gis_maps/index.php b/pandora_console/operation/gis_maps/index.php deleted file mode 100644 index 180eee18cc..0000000000 --- a/pandora_console/operation/gis_maps/index.php +++ /dev/null @@ -1,71 +0,0 @@ -width = "98%"; -$table->data = array (); -$table->head = array (); -$table->head[0] = __('Name'); -$table->head[1] = __('Group'); -$table->align = array (); -$table->align[1] = 'center'; - -$rowPair = true; -$iterator = 0; - -if ($maps !== false) { - foreach ($maps as $map) { - if (!check_acl ($config["id_user"], $map["group_id"], "IR", 0, true)) { - continue; - } - - if ($rowPair) - $table->rowclass[$iterator] = 'rowPair'; - else - $table->rowclass[$iterator] = 'rowOdd'; - $rowPair = !$rowPair; - $iterator++; - - $data = array (); - - $data[0] = '' . $map['map_name'].' '; - $data[1] = ui_print_group_icon ($map["group_id"], true); - - array_push ($table->data, $data); - } -} - -if (!empty ($table->data)) { - html_print_table ($table); -} -else { - echo '
' . __('No maps found') . '
'; -} -unset ($table); -?>