<commit_before><!DOCTYPE html>
<html>
<head>
    <title>Leaderboards by country</title>
    <meta charset="utf-8" />
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <link rel="stylesheet" href="http://cdn.leafletjs.com/leaflet-0.7.3/leaflet.css" />
    <script src="http://cdn.leafletjs.com/leaflet-0.7.3/leaflet.js"></script>
    <script src="http://ajax.googleapis.com/ajax/libs/jquery/1.11.2/jquery.min.js"></script>
    <link rel="stylesheet" type="text/css" href="https://location.services.mozilla.com/static/css/base-combined.css" />
    
</head>
<body>
    <div id="map" style="width: 100%; max-width: 320px; height: 160px"></div>
    <div id="country" style="width: 100%; height: 40px">
        <h2 id="country_title"></h2>
        <table class="table" id="leaders">
            <thead>
                <tr>
                    <th>Rank</th>
                    <th>User</th>
                    <th class="text-right">Points</th>
                </tr>
            </thead>
            <tbody></tbody>
        </table>
    </div>
    
    <script>
        var kServer = "https://ec2-52-1-93-147.compute-1.amazonaws.com:8050"
        var map = L.map('map').setView([51.505, -0.09], 1);
        var src = 'https://{s}.tiles.mapbox.com/v4/mozilla-webprod.g7ilhcl5/{z}/{x}/{y}.png?access_token=<KEY>'
        L.tileLayer(src, {
            maxZoom: 18,
            attribution: '<a href="https://www.mapbox.com/about/maps">© Mapbox</a> <a href="http://openstreetmap.org/copyright">© OpenStreetMap</a> <a href="http://mapbox.com/map-feedback/" class="mapbox-improve-map">Improve this map</a>'

        }).addTo(map);

        var lastClickedCountry = null;
        
        $(function() {
            $.getJSON("geojson/world.geo.json", function(data) {
                var style = {
                    "color": "#ff7800",
                    "weight": 3,
                    "opacity": 0.65
                };
                var polyHover = {
                    "color": "#0078ff",
                    "weight": 4,
                    "opacity": .8
                };
                var polyClick = {
                    "color": "#ff0000",
                    "weight": 5,
                    "opacity": 0.65
                };
                function onEachFeature(json, layer) {<commit_msg>port 8050 is now 80<commit_after><!DOCTYPE html>
<html>
<head>
    <title>Leaderboards by country</title>
    <meta charset="utf-8" />
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <link rel="stylesheet" href="http://cdn.leafletjs.com/leaflet-0.7.3/leaflet.css" />
    <script src="http://cdn.leafletjs.com/leaflet-0.7.3/leaflet.js"></script>
    <script src="http://ajax.googleapis.com/ajax/libs/jquery/1.11.2/jquery.min.js"></script>
    <link rel="stylesheet" type="text/css" href="https://location.services.mozilla.com/static/css/base-combined.css" />
    
</head>
<body>
    <div id="map" style="width: 100%; max-width: 320px; height: 160px"></div>
    <div id="country" style="width: 100%; height: 40px">
        <h2 id="country_title"></h2>
        <table class="table" id="leaders">
            <thead>
                <tr>
                    <th>Rank</th>
                    <th>User</th>
                    <th class="text-right">Points</th>
                </tr>
            </thead>
            <tbody></tbody>
        </table>
    </div>
    
    <script>
        var kServer = "https://ec2-52-1-93-147.compute-1.amazonaws.com"
        var map = L.map('map').setView([51.505, -0.09], 1);
        var src = 'https://{s}.tiles.mapbox.com/v4/mozilla-webprod.g7ilhcl5/{z}/{x}/{y}.png?access_token=<KEY>'
        L.tileLayer(src, {
            maxZoom: 18,
            attribution: '<a href="https://www.mapbox.com/about/maps">© Mapbox</a> <a href="http://openstreetmap.org/copyright">© OpenStreetMap</a> <a href="http://mapbox.com/map-feedback/" class="mapbox-improve-map">Improve this map</a>'

        }).addTo(map);

        var lastClickedCountry = null;
        
        $(function() {
            $.getJSON("geojson/world.geo.json", function(data) {
                var style = {
                    "color": "#ff7800",
                    "weight": 3,
                    "opacity": 0.65
                };
                var polyHover = {
                    "color": "#0078ff",
                    "weight": 4,
                    "opacity": .8
                };
                var polyClick = {
                    "color": "#ff0000",
                    "weight": 5,
                    "opacity": 0.65
                };
                function onEachFeature(json, layer) {
{'fraction_non_alphanumeric': 0.17977287336618814, 'fraction_numerical': 0.03428326548103707, 'mean_word_length': 1.6998264893001735, 'pattern_counts': {'":': 18, '<': 89, '<?xml version=': 0, '>': 89, 'https://': 8, 'lorem ipsum': 0, 'www.': 2, 'xml': 0}, 'pii_count': 0, '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': '441171', 'n_tokens_mistral': 1638, 'n_tokens_neox': 1470, 'n_words': 238}