<commit_before><html>
<head>
<title>Map Prototype</title>
<link rel="stylesheet" href="https://unpkg.com/leaflet@1.2.0/dist/leaflet.css"
   integrity="<KEY>
   crossorigin=""/>
    <!-- Make sure you put this AFTER Leaflet's CSS -->
<script src="https://unpkg.com/leaflet@1.2.0/dist/leaflet.js"
   integrity="<KEY>
   crossorigin=""></script>
<style>
#mapid { height: 100%; }
</style>

</head>
<body>
<div id="mapid"></div>
<script>
var mymap = L.map('mapid').setView([33.836081,-81.1637245], 8);
tileserver = 'http://{s}.tiles.mapbox.com/v3/github.map-xgq2svrz/{z}/{x}/{y}.png'
tileserver = 'http://192.168.132.138:3001/hot/{z}/{x}/{y}.png'
L.tileLayer(tileserver, {
    attribution: 'Map data &copy; <a href="http://openstreetmap.org">OpenStreetMap</a> contributors, <a href="http://creativecommons.org/licenses/by-sa/2.0/">CC-BY-SA</a>'

}).addTo(mymap);
</script>
</body>
</html><commit_msg>added markers to map<commit_after><html>
<head>
<title>Map Prototype</title>
<link rel="stylesheet" href="https://unpkg.com/leaflet@1.2.0/dist/leaflet.css"
   integrity="<KEY>
   crossorigin=""/>
<link rel="stylesheet" href="https://unpkg.com/leaflet.markercluster@1.2.0/dist/MarkerCluster.css"
   crossorigin=""/>
<link rel="stylesheet" href="https://unpkg.com/leaflet.markercluster@1.2.0/dist/MarkerCluster.Default.css"
   crossorigin=""/>

    <!-- Make sure you put this AFTER Leaflet's CSS -->
<script src="https://unpkg.com/leaflet@1.2.0/dist/leaflet.js"
   integrity="<KEY>
   crossorigin=""></script>
   <script src="   https://unpkg.com/leaflet.markercluster@1.2.0/dist/leaflet.markercluster.js"
   crossorigin=""></script>
<style>
#mapid { height: 100%; }
</style>
<script>
<?php
$json_features = file_get_contents("features.json");
$features = json_decode($json_features,true);
$makers = [];
foreach ($features as $feature){
  $marker = array(
    "latlng" => array($feature['geometry']['coordinates'][1],$feature['geometry']['coordinates'][0]),
    "options" => array(
      "title" => $feature['properties']['name']
    )
  );
  $markers[] = $marker;
}
//var_dump ($markers);
?>
var markers = <?php print json_encode($markers); ?>
</script>
</head>
<body>
<div id="mapid"></div>
<script>
var mymap = L.map('mapid').setView([33.836081,-81.1637245], 8);
tileserver = 'http://{s}.tiles.mapbox.com/v3/github.map-xgq2svrz/{z}/{x}/{y}.png'
tileserver = 'http://192.168.132.138:3001/hot/{z}/{x}/{y}.png'
L.tileLayer(tileserver, {
    attribution: 'Map data &copy; <a href="http://openstreetmap.org">OpenStreetMap</a> contributors, <a href="http://creativecommons.org/licenses/by-sa/2.0/">CC-BY-SA</a>'

}).addTo(mymap);

var mks = L.markerClusterGroup();

for (var i = 0; i < markers.length; i++) {
  mks.addLayer(L.marker(markers[i].latlng,markers[i].options)
				.bindPopup(markers[i].options.title));
}
mymap.addLayer(mks)
</script>
</body>
</html>
{'fraction_non_alphanumeric': 0.2317671809256662, 'fraction_numerical': 0.03716690042075736, 'mean_word_length': 4.810590631364562, 'pattern_counts': {'":': 0, '<': 60, '<?xml version=': 0, '>': 62, 'https://': 7, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 2, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5865227', 'n_tokens_mistral': 1173, 'n_tokens_neox': 1105, 'n_words': 162}