2014-12-05 07:44:23 +08:00
|
|
|
var filterQuery = '<?php echo validJsStr($filterQuery) ?>';
|
2008-07-14 21:54:50 +08:00
|
|
|
|
2015-10-02 13:41:31 +08:00
|
|
|
var monitorNames = {};
|
2008-07-14 21:54:50 +08:00
|
|
|
<?php
|
|
|
|
foreach ( $monitors as $monitor )
|
|
|
|
{
|
|
|
|
if ( !empty($monitorIds[$monitor['Id']]) )
|
|
|
|
{
|
|
|
|
?>
|
2014-12-05 07:44:23 +08:00
|
|
|
monitorNames[<?php echo $monitor['Id'] ?>] = '<?php echo validJsStr($monitor['Name']) ?>';
|
2008-07-14 21:54:50 +08:00
|
|
|
<?php
|
|
|
|
}
|
|
|
|
}
|
|
|
|
?>
|
2015-10-02 13:41:31 +08:00
|
|
|
var monitors = <?php echo json_encode($monitors) ?>;
|
2008-07-14 21:54:50 +08:00
|
|
|
|
2015-05-10 21:10:30 +08:00
|
|
|
var archivedString = "<?php echo translate('Archived') ?>";
|