2014-12-05 07:44:23 +08:00
|
|
|
var filterQuery = '<?php echo validJsStr($filterQuery) ?>';
|
2008-07-14 21:54:50 +08:00
|
|
|
|
2011-06-21 17:19:10 +08:00
|
|
|
var monitorNames = new Object();
|
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
|
|
|
|
}
|
|
|
|
}
|
|
|
|
?>
|
|
|
|
|
2014-12-05 07:44:23 +08:00
|
|
|
var archivedString = "<?php echo $SLANG['Archived'] ?>";
|