2014-12-05 07:44:23 +08:00
|
|
|
var filterQuery = '<?php echo validJsStr($filterQuery) ?>';
|
2008-07-14 21:54:50 +08:00
|
|
|
|
|
|
|
<?php
|
2015-10-03 11:04:10 +08:00
|
|
|
$jsMonitors = array();
|
2015-11-19 13:21:56 +08:00
|
|
|
$fields = array('Name', 'LabelFormat', 'SaveJPEGs', 'VideoWriter');
|
2008-07-14 21:54:50 +08:00
|
|
|
foreach ( $monitors as $monitor )
|
|
|
|
{
|
|
|
|
if ( !empty($monitorIds[$monitor['Id']]) )
|
|
|
|
{
|
2015-10-03 11:04:10 +08:00
|
|
|
$jsMonitor = array();
|
|
|
|
foreach ($fields as $field)
|
|
|
|
{
|
|
|
|
$jsMonitor[$field] = $monitor[$field];
|
|
|
|
}
|
|
|
|
$jsMonitors[$monitor['Id']] = $jsMonitor;
|
2008-07-14 21:54:50 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
?>
|
2015-10-03 11:04:10 +08:00
|
|
|
var monitors = <?php echo json_encode($jsMonitors) ?>;
|
2008-07-14 21:54:50 +08:00
|
|
|
|
2015-05-10 21:10:30 +08:00
|
|
|
var archivedString = "<?php echo translate('Archived') ?>";
|