diff --git a/checklists/checklistmap.php b/checklists/checklistmap.php index 908f9b4903..22032d421e 100644 --- a/checklists/checklistmap.php +++ b/checklists/checklistmap.php @@ -34,6 +34,8 @@ $coordJson = json_encode($coords); $metaJson = json_encode($clMeta); +$shouldUseMinimalMapHeader = $SHOULD_USE_MINIMAL_MAP_HEADER ?? false; + ?> @@ -256,6 +258,9 @@ function openIndPU(occId){
+