<commit_before><?php
    function membertable($members) {
        if ( isset($members) ) {
            $astro = fa('star-o');
            $link = fa('external-link');
            $university = fa('university');
            $book = fa('book');
            $address = fa('address-book');
            $calendar = fa('calendar-o');
            $door = fa('door-open');
            echo "<table class='table table-header-shade table-bordered table-people'>";
            uksort($members, compare_name);
            foreach ($members as $name => $member) {
                $name = str_replace("_", " ", $name);
                $image = $member["image"];
                if( empty($image) ) {$image = "../resources/jpg/work-on-laptop-icon-150x150.jpg";}
                $image_shift = $member["image_shift"];
                $image_landscape = $member["image_landscape"];
                $homepage = $member["homepage"];
                $keywords = $member["keywords"];
                $office = $member["office"];
                $links = $member["links"];
                $advisor = $member["advisor"];
                $phd_thesis = $member["phd_thesis"];
                $date = $member["date"];
                $position = $member["position"];
                $remark = $member["remark"];
                echo "<tr>";
                /* Profile picture */
                echo "<td><div class='avatar'>";
                if ( ! empty($homepage) ) {echo "<a target='_blank' href='$homepage'>";}
                echo "<img src='$image' alt='Picture of $name' title='$name'";
                $image_shift_axis = "Y";
                if ( ! empty($image_landscape) ) {echo " class='landscape'"; $image_shift_axis="X";}
                if ( ! empty($image_shift) ) {echo " style='transform:translate$image_shift_axis($image_shift);'";}
                echo ">";
                if ( ! empty($homepage) ) {echo "</a>";}
                echo "</div></td>";
                /* Description */
                echo "<td>";
                if ( ! empty($homepage) ) {echo "<h4><a target='_blank' href='$homepage'>$name$remark</a> <span style='font-size:90%'>$link</span></h4>";}
                else{ echo "<h4 style='color:#C00;'>$name$remark</h4>";}
                if ( ! empty($keywords) ) {echo "<p>$astro $keywords</p>";}
                if ( ! empty($office) ) {echo "<p>$door $office</p>";}
                if ( ! empty($links) ) {echo "<p>$link $links</p>";}
                if ( ! empty($phd_thesis) ) {echo "<p>$book Thesis: $phd_thesis</p>";}
                if ( ! empty($advisor) ) {echo "<p>$university Advisor: $advisor</p>";}
                if ( ! empty($date) ) {echo "<p>$calendar $date</p>";}
                if ( ! empty($position) ) {echo "<p>$address Current Position: $position</p>";}
                echo "</td>";
                echo "</tr>";
            }
            echo "</table>";
        }
    }<commit_msg>update location icon<commit_after><?php
    function membertable($members) {
        if ( isset($members) ) {
            $astro = fa('star-o');
            $link = fa('external-link');
            $university = fa('university');
            $book = fa('book');
            $address = fa('address-book');
            $calendar = fa('calendar-o');
            $location = fa('location-arrow');
            echo "<table class='table table-header-shade table-bordered table-people'>";
            uksort($members, compare_name);
            foreach ($members as $name => $member) {
                $name = str_replace("_", " ", $name);
                $image = $member["image"];
                if( empty($image) ) {$image = "../resources/jpg/work-on-laptop-icon-150x150.jpg";}
                $image_shift = $member["image_shift"];
                $image_landscape = $member["image_landscape"];
                $homepage = $member["homepage"];
                $keywords = $member["keywords"];
                $office = $member["office"];
                $links = $member["links"];
                $advisor = $member["advisor"];
                $phd_thesis = $member["phd_thesis"];
                $date = $member["date"];
                $position = $member["position"];
                $remark = $member["remark"];
                echo "<tr>";
                /* Profile picture */
                echo "<td><div class='avatar'>";
                if ( ! empty($homepage) ) {echo "<a target='_blank' href='$homepage'>";}
                echo "<img src='$image' alt='Picture of $name' title='$name'";
                $image_shift_axis = "Y";
                if ( ! empty($image_landscape) ) {echo " class='landscape'"; $image_shift_axis="X";}
                if ( ! empty($image_shift) ) {echo " style='transform:translate$image_shift_axis($image_shift);'";}
                echo ">";
                if ( ! empty($homepage) ) {echo "</a>";}
                echo "</div></td>";
                /* Description */
                echo "<td>";
                if ( ! empty($homepage) ) {echo "<h4><a target='_blank' href='$homepage'>$name$remark</a> <span style='font-size:90%'>$link</span></h4>";}
                else{ echo "<h4 style='color:#C00;'>$name$remark</h4>";}
                if ( ! empty($keywords) ) {echo "<p>$astro $keywords</p>";}
                if ( ! empty($office) ) {echo "<p>$location $office</p>";}
                if ( ! empty($links) ) {echo "<p>$link $links</p>";}
                if ( ! empty($phd_thesis) ) {echo "<p>$book Thesis: $phd_thesis</p>";}
                if ( ! empty($advisor) ) {echo "<p>$university Advisor: $advisor</p>";}
                if ( ! empty($date) ) {echo "<p>$calendar $date</p>";}
                if ( ! empty($position) ) {echo "<p>$address Current Position: $position</p>";}
                echo "</td>";
                echo "</tr>";
            }
            echo "</table>";
        }
    }
{'fraction_non_alphanumeric': 0.19380108991825612, 'fraction_numerical': 0.004768392370572207, 'mean_word_length': 1.7820937944102322, 'pattern_counts': {'":': 0, '<': 75, '<?xml version=': 0, '>': 75, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, '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': '2611553', 'n_tokens_mistral': 1765, 'n_tokens_neox': 1641, 'n_words': 324}