2020-08-06 07:15:01 +08:00
|
|
|
<?php
|
|
|
|
global $filterQuery;
|
|
|
|
global $monitors;
|
|
|
|
?>
|
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();
|
2017-10-19 00:44:07 +08:00
|
|
|
|
2015-11-19 13:21:56 +08:00
|
|
|
$fields = array('Name', 'LabelFormat', 'SaveJPEGs', 'VideoWriter');
|
2017-07-14 05:35:06 +08:00
|
|
|
foreach ( $monitors as $monitor ) {
|
2019-09-29 02:23:23 +08:00
|
|
|
$jsMonitor = array();
|
|
|
|
foreach ($fields as $field) {
|
|
|
|
$jsMonitor[$field] = $monitor->$field();
|
2017-07-14 05:35:06 +08:00
|
|
|
}
|
2019-09-29 02:23:23 +08:00
|
|
|
$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') ?>";
|
2019-09-29 02:23:23 +08:00
|
|
|
|
|
|
|
var minTime = '<?php echo $minTime?>';
|
|
|
|
var midTime = '<?php echo $midTime?>';
|
|
|
|
var maxTime = '<?php echo $maxTime?>';
|
|
|
|
var range = '<?php echo $range?>';
|
|
|
|
var zoomout_range = '<?php (int)($range*$majXScale['zoomout']) ?>';
|