<commit_before><?php

include_once LIBRARY_PATH . '/functions.php';

sec_session_start();
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
    <head>

         <!-- Chrome, Firefox OS and Opera -->
         <meta name="theme-color" content="#FF3B3F">
         <!-- Windows Phone -->
         <meta name="msapplication-navbutton-color" content="#FF3B3F">
         <!-- iOS Safari -->
         <meta name="apple-mobile-web-app-capable" content="yes">
         <meta name="apple-mobile-web-app-status-bar-style" content="black-translucent">

        <!-- Document information -->
        <meta http-equiv="content-language" content="<?php echo FORUM_LANGUAGE; ?>">
        <meta http-equiv="content-type" content="text/html"; charset="UTF-8" />
        <meta name="description" content="<?php echo FORUM_DESCRIPTION; ?>" />
        <meta name="keywords" content="<?php echo FORUM_KEYWORDS; ?>" />
        <meta http-equiv="X-UA-Compatible" content="IE=edge">
        <meta name="viewport" content="width=device-width, initial-scale=1">
        <title><?php echo FORUM_NAME . (DEVELOPMENT_MODE ? ' / Dev Mode' : ''); ?></title>

        <!-- Stylesheets -->
        <link rel="stylesheet" href="https://cdn.jsdelivr.net/simplemde/latest/simplemde.min.css">
        <link href='https://fonts.googleapis.com/css?family=Roboto:400,300,700,500' rel='stylesheet' type='text/css'>
        <?php
            echo '<style>' . htmlspecialchars(file_get_contents('css/main.css'))
                . ' ' . htmlspecialchars(file_get_contents('../../public_html/css/navbar.css'))
                . ' ' . htmlspecialchars(file_get_contents('../../public_html/css/table.css'))
                . ' ' . htmlspecialchars(file_get_contents('../../public_html/css/editors.css'))
                . ' ' . htmlspecialchars(file_get_contents('../../public_html/css/post.css'))
                . ' ' . htmlspecialchars(file_get_contents('../../public_html/css/profile.css'))
                . ' ' . htmlspecialchars(file_get_contents('../../public_html/css/text.css'))
                . ' ' . htmlspecialchars(file_get_contents('../../public_html/css/button.css'))
                . ' ' . htmlspecialchars(file_get_contents('../../public_html/css/dropdown.css'))
                . ' ' . htmlspecialchars(file_get_contents('../../public_html/css/page-index.css'))
                . ' ' . htmlspecialchars(file_get_contents('../../public_html/css/themes/' . COLOR_THEME . '.css')) // vulnerability! to make a simple payload, set COLOR_THEME to: "../../../../../etc/passwd"
                . ' ' . htmlspecialchars(file_get_contents('../../public_html/css/icons/icons.css'))
                . ' ' . htmlspecialchars(file_get_contents('../../public_html/css/icons/icon-toolbar.css')) . '</style>';
        ?>
        
        <!-- Javascript -->
        <script src="/js/library/tinymce.min.js"></script>
        <script src="/js/library/jquery.min.js"></script>
        <script src="/js/library/angular.min.js"></script>
        <script src="/js/dropdown.js"></script>
        <script src="/js/authentication/login.js"></script>
        <script src="/js/editor-validation.js"></script>
        <script src="/js/authentication/register.js"></script>
        <script src="/js/authentication/logout.js"></script>
        <script src="/js/delete/delete_topic.js"></script>
        <script src="/js/delete/delete_post.js"></script>
        <script src="/js/like-post.js"></script>
    </head>

    <body>
        <div id="background-style" class="secondary-color">
        </div>
        <div id="wrapper">
            <div id="menu">
                <div id="userbar">
                <?php
if(isset($_SESSION['signed_in']) && $_SESSION['signed_in']) {
    echo '<img class="profile-picture icon" src="/img/content/profile-pictures/' . $_SESSION['user_icon'] . '">
          <div class="dropdown">
            <button class="dropbtn">' . $_SESSION['user_name'] . '</button>
            <div id="user-dropdown" class="dropdown-content">
              <a class="block-link" href="#">' . SHORT_USER_DESCRIPTION . '</a>
              <a class="block-link" href="profile.php?user_id='.$_SESSION['user_id'].'">' . SHORT_USER_OVERVIEW . '</a>
              <a class="block-link" onclick="logout()">' . SHORT_USER_SIGNOUT . '</a>
            </div><commit_msg>Fix another bug<commit_after><?php

include_once LIBRARY_PATH . '/functions.php';

sec_session_start();
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
    <head>

         <!-- Chrome, Firefox OS and Opera -->
         <meta name="theme-color" content="#FF3B3F">
         <!-- Windows Phone -->
         <meta name="msapplication-navbutton-color" content="#FF3B3F">
         <!-- iOS Safari -->
         <meta name="apple-mobile-web-app-capable" content="yes">
         <meta name="apple-mobile-web-app-status-bar-style" content="black-translucent">

        <!-- Document information -->
        <meta http-equiv="content-language" content="<?php echo FORUM_LANGUAGE; ?>">
        <meta http-equiv="content-type" content="text/html"; charset="UTF-8" />
        <meta name="description" content="<?php echo FORUM_DESCRIPTION; ?>" />
        <meta name="keywords" content="<?php echo FORUM_KEYWORDS; ?>" />
        <meta http-equiv="X-UA-Compatible" content="IE=edge">
        <meta name="viewport" content="width=device-width, initial-scale=1">
        <title><?php echo FORUM_NAME . (DEVELOPMENT_MODE ? ' / Dev Mode' : ''); ?></title>

        <!-- Stylesheets -->
        <link rel="stylesheet" href="https://cdn.jsdelivr.net/simplemde/latest/simplemde.min.css">
        <link href='https://fonts.googleapis.com/css?family=Roboto:400,300,700,500' rel='stylesheet' type='text/css'>
        <?php
            echo '<style>' . htmlspecialchars(file_get_contents('css/main.css'))
                . ' ' . htmlspecialchars(file_get_contents('css/navbar.css'))
                . ' ' . htmlspecialchars(file_get_contents('css/table.css'))
                . ' ' . htmlspecialchars(file_get_contents('css/editors.css'))
                . ' ' . htmlspecialchars(file_get_contents('css/post.css'))
                . ' ' . htmlspecialchars(file_get_contents('css/profile.css'))
                . ' ' . htmlspecialchars(file_get_contents('css/text.css'))
                . ' ' . htmlspecialchars(file_get_contents('css/button.css'))
                . ' ' . htmlspecialchars(file_get_contents('css/dropdown.css'))
                . ' ' . htmlspecialchars(file_get_contents('css/page-index.css'))
                . ' ' . htmlspecialchars(file_get_contents('css/themes/' . COLOR_THEME . '.css')) // vulnerability! to make a simple payload, set COLOR_THEME to: "../../../../../etc/passwd"
                . ' ' . htmlspecialchars(file_get_contents('css/icons/icons.css'))
                . ' ' . htmlspecialchars(file_get_contents('css/icons/icon-toolbar.css')) . '</style>';
        ?>
        
        <!-- Javascript -->
        <script src="js/library/tinymce.min.js"></script>
        <script src="js/library/jquery.min.js"></script>
        <script src="js/library/angular.min.js"></script>
        <script src="js/dropdown.js"></script>
        <script src="js/authentication/login.js"></script>
        <script src="js/editor-validation.js"></script>
        <script src="js/authentication/register.js"></script>
        <script src="js/authentication/logout.js"></script>
        <script src="js/delete/delete_topic.js"></script>
        <script src="js/delete/delete_post.js"></script>
        <script src="js/like-post.js"></script>
    </head>

    <body>
        <div id="background-style" class="secondary-color">
        </div>
        <div id="wrapper">
            <div id="menu">
                <div id="userbar">
                <?php
if(isset($_SESSION['signed_in']) && $_SESSION['signed_in']) {
    echo '<img class="profile-picture icon" src="img/content/profile-pictures/' . $_SESSION['user_icon'] . '">
          <div class="dropdown">
            <button class="dropbtn">' . $_SESSION['user_name'] . '</button>
            <div id="user-dropdown" class="dropdown-content">
              <a class="block-link" href="#">' . SHORT_USER_DESCRIPTION . '</a>
              <a class="block-link" href="profile.php?user_id='.$_SESSION['user_id'].'">' . SHORT_USER_OVERVIEW . '</a>
              <a class="block-link" onclick="logout()">' . SHORT_USER_SIGNOUT . '</a>
            </div>
{'fraction_non_alphanumeric': 0.19497000461467467, 'fraction_numerical': 0.006691278264882325, 'mean_word_length': 2.5282865282865283, 'pattern_counts': {'":': 0, '<': 149, '<?xml version=': 0, '>': 147, 'https://': 4, 'lorem ipsum': 0, 'www.': 4, 'xml': 4}, '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': '1660656', 'n_tokens_mistral': 2744, 'n_tokens_neox': 2633, 'n_words': 361}