<commit_before><?php
require_once("controller/controller_functions.php");

print('<!-- Course Container -->');
require_once("view/".$semester."_".$course."_container.php");

print('<!-- Course CSS -->');
print('<link href="resources/'.$semester."_".$course.'_main.css" rel="stylesheet"></link>');
?>
<link href='https://fonts.googleapis.com/css?family=Source+Sans+Pro:300,400,600,700,300italic,400italic,600italic,700italic' rel='stylesheet' type='text/css'>
<link href='https://fonts.googleapis.com/css?family=PT+Sans:700,700italic' rel='stylesheet' type='text/css'>
<link href="resources/bootmin.css" rel="stylesheet"></link>
<link href="resources/badge.css" rel="stylesheet"></link>
<script src="resources/script/main.js"></script>

<!-- DIFF VIEWER STUFF -->
<script src='diff-viewer/jquery.js'></script>
<script src='diff-viewer/underscore.js'></script>
<script src='diff-viewer/highlight.js'></script>
<script src='diff-viewer/diff.js'></script>
<script src='diff-viewer/diff_queue.js'></script>
<link href="diff-viewer/diff.css" rel="stylesheet"></link>
<link href='https://fonts.googleapis.com/css?family=Inconsolata' rel='stylesheet' type='text/css'>
<?php $user = $_SESSION["id"]; ?>

<!-- FUNCTIONS USED BY THE PULL-DOWN MENUS -->
<script type="text/javascript">
function assignment_changed(){

   var php_course = "<?php echo $course; ?>";
   var php_semester = "<?php echo $semester; ?>";
  window.location.href="?semester="+php_semester+"&course="+php_course+"&assignment_id="+document.getElementById('hwlist').value+'#scroll=' + window.scrollY;
}
function version_changed(){
   var php_course = "<?php echo $course; ?>";
   var php_semester = "<?php echo $semester; ?>";
  window.location.href="?semester="+php_semester+"&course="+php_course+"&assignment_id="+document.getElementById('hwlist').value+"&assignment_version="+document.getElementById('versionlist').value+'#scroll=' + window.scrollY;
}

window.addEventListener('load', function() {
    // Do we have a #scroll in the URL hash?
    if(window.location.hash && /#scroll/.test(window.location.hash)) {
        // Scroll to the #scroll value
        window.scrollTo(0, window.location.hash.replace('#scroll=', ''));
    }
});
</script>

<!--- IDENTIFY USER & SELECT WHICH HOMEWORK NUMBER -->
<div id="HWsubmission">
    <h2 class="label">Homework Submission for <em> <?php echo $user;?> </em>
          <?php
          if (on_dev_team($user)) {
             echo "&nbsp;&nbsp;<font color=\"ff0000\"> [ dev team ]</font>";
            }
          ?>
    </h2>

    <!-- PRIORITY HELP QUEUE-->
    <?php
    $path_front = get_path_front_course($semester,$course);;
    $priority_path = "$path_front/reports/summary_html/".$username."_priority.html";
    if (file_exists($priority_path)){
        $priority_file = file_get_contents($priority_path);
        echo $priority_file;
    }
    ?>

    <div class="sub"> <!-- sub -->
        <form class="form_submit" action="">
            <label class="label">Select Assignment:</label>
            <select id="hwlist" name="assignment_id" onchange="assignment_changed();">
                <?php
                for ($i = 0; $i < count($all_assignments); $i++)
                {
                    $FLAG = "";
                    if ($all_assignments[$i]["released"] != true)
                    {
                        if (on_dev_team($user)) {
                            $FLAG = " NOT RELEASED";
                        } else {
                            continue;
                        }
                    }
                    echo "<option value=".$all_assignments[$i]["assignment_id"];
                    if ($all_assignments[$i]["assignment_id"] == $assignment_id)
                    {
                        echo " selected";
                    }
                    echo '>'.$all_assignments[$i]["assignment_name"].$FLAG;
                    echo "</option>";
                }
                ?>
            </select>
        </form>
    </div> <!-- end sub -->

    <h2 class="label">Assignment: <?php echo $assignment_name;?></h2>

    <div class="panel-body"> <!-- panel-body -->
        <?php
        if ($status && $status != "") {
            echo '  <div class="outer_box">';<commit_msg>added a hyperlink to the asignment name<commit_after><?php
require_once("controller/controller_functions.php");

print('<!-- Course Container -->');
require_once("view/".$semester."_".$course."_container.php");

print('<!-- Course CSS -->');
print('<link href="resources/'.$semester."_".$course.'_main.css" rel="stylesheet"></link>');
?>
<link href='https://fonts.googleapis.com/css?family=Source+Sans+Pro:300,400,600,700,300italic,400italic,600italic,700italic' rel='stylesheet' type='text/css'>
<link href='https://fonts.googleapis.com/css?family=PT+Sans:700,700italic' rel='stylesheet' type='text/css'>
<link href="resources/bootmin.css" rel="stylesheet"></link>
<link href="resources/badge.css" rel="stylesheet"></link>
<script src="resources/script/main.js"></script>

<!-- DIFF VIEWER STUFF -->
<script src='diff-viewer/jquery.js'></script>
<script src='diff-viewer/underscore.js'></script>
<script src='diff-viewer/highlight.js'></script>
<script src='diff-viewer/diff.js'></script>
<script src='diff-viewer/diff_queue.js'></script>
<link href="diff-viewer/diff.css" rel="stylesheet"></link>
<link href='https://fonts.googleapis.com/css?family=Inconsolata' rel='stylesheet' type='text/css'>
<?php $user = $_SESSION["id"]; ?>

<!-- FUNCTIONS USED BY THE PULL-DOWN MENUS -->
<script type="text/javascript">
function assignment_changed(){

   var php_course = "<?php echo $course; ?>";
   var php_semester = "<?php echo $semester; ?>";
  window.location.href="?semester="+php_semester+"&course="+php_course+"&assignment_id="+document.getElementById('hwlist').value+'#scroll=' + window.scrollY;
}
function version_changed(){
   var php_course = "<?php echo $course; ?>";
   var php_semester = "<?php echo $semester; ?>";
  window.location.href="?semester="+php_semester+"&course="+php_course+"&assignment_id="+document.getElementById('hwlist').value+"&assignment_version="+document.getElementById('versionlist').value+'#scroll=' + window.scrollY;
}

window.addEventListener('load', function() {
    // Do we have a #scroll in the URL hash?
    if(window.location.hash && /#scroll/.test(window.location.hash)) {
        // Scroll to the #scroll value
        window.scrollTo(0, window.location.hash.replace('#scroll=', ''));
    }
});
</script>

<!--- IDENTIFY USER & SELECT WHICH HOMEWORK NUMBER -->
<div id="HWsubmission">
    <h2 class="label">Homework Submission for <em> <?php echo $user;?> </em>
          <?php
          if (on_dev_team($user)) {
             echo "&nbsp;&nbsp;<font color=\"ff0000\"> [ dev team ]</font>";
            }
          ?>
    </h2>

    <!-- PRIORITY HELP QUEUE-->
    <?php
    $path_front = get_path_front_course($semester,$course);;
    $priority_path = "$path_front/reports/summary_html/".$username."_priority.html";
    if (file_exists($priority_path)){
        $priority_file = file_get_contents($priority_path);
        echo $priority_file;
    }
    ?>

    <div class="sub"> <!-- sub -->
        <form class="form_submit" action="">
            <label class="label">Select Assignment:</label>
            <select id="hwlist" name="assignment_id" onchange="assignment_changed();">
                <?php
                for ($i = 0; $i < count($all_assignments); $i++)
                {
                    $FLAG = "";
                    if ($all_assignments[$i]["released"] != true)
                    {
                        if (on_dev_team($user)) {
                            $FLAG = " NOT RELEASED";
                        } else {
                            continue;
                        }
                    }
                    echo "<option value=".$all_assignments[$i]["assignment_id"];
                    if ($all_assignments[$i]["assignment_id"] == $assignment_id)
                    {
                        echo " selected";
                    }
                    echo '>'.$all_assignments[$i]["assignment_name"].$FLAG;
                    echo "</option>";
                }
                ?>
            </select>
        </form>
    </div> <!-- end sub -->

<?php
    $assignment_link = '#';  
    //assignment name links to the assignment instructions
    echo '<h2 class="label">Assignment: ';
    echo' <a href="'.$assignment_link.'">';
    echo $assignment_name;
    echo '</a>';
    echo '</h2>';
?>
    <div class="panel-body"> <!-- panel-body -->
        <?php
        if ($status && $status != "") {
            echo '  <div class="outer_box">';
{'fraction_non_alphanumeric': 0.18977849561605906, 'fraction_numerical': 0.009229349330872173, 'mean_word_length': 2.7350280051701854, 'pattern_counts': {'":': 0, '<': 141, '<?xml version=': 0, '>': 137, 'https://': 6, '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': '5415305', 'n_tokens_mistral': 2744, 'n_tokens_neox': 2606, 'n_words': 445}