replace [] notation with old-style array()

lib/template/details-html.php

@@ -277,17 +277,17 @@
 	<script type="text/javascript">
 	<?php
 
-    $aNominatimMapInit = [
+    $aNominatimMapInit = array(
       'tile_url' => $sTileURL,
       'tile_attribution' => $sTileAttribution
-    ];
+    );
     echo 'var nominatim_map_init = ' . json_encode($aNominatimMapInit, JSON_PRETTY_PRINT) . ';';
 
-    $aPlace = [
+    $aPlace = array(
 			'outlinestring' => $aPointDetails['outlinestring'],
 			'lon' => $aPointDetails['lon'],
 			'lat' => $aPointDetails['lat'],
-    ];
+	);
 	  echo 'var nominatim_result = ' . json_encode($aPlace, JSON_PRETTY_PRINT) . ';';