<commit_before><!-- Navigation -->
<!-- Responsive/colapsable navigatie balk -->
<nav class="navbar navbar-default navbar-fixed-top" role="navigation">
    <div class="container">
        <div class="navbar-header">
            <button type="button" class="navbar-toggle" data-toggle="collapse" data-target="#myNavbar">
                <span class="icon-bar"></span>
                <span class="icon-bar"></span>
                <span class="icon-bar"></span>
            </button>
            <?php // iedereen
                echo  anchor('/home/index', image("logo.PNG",'class="navbar-brand-img"'),'class="navbar-brand"');
            ?>

        </div>
        <div class="collapse navbar-collapse" id="myNavbar">

            <!-- Linkse navbar -->
            <ul class="nav navbar-nav">
                <?php // iedereen
                if ($user == null) { // niet aangemeld
                } else { // wel aangemeld
                    switch ($user->soort) {
                        case 1: // gewone geregistreerde gebruiker
                            echo '<li>' . anchor('/klant/index', 'Boeking maken') . '</li>';
                            break;
                        case 2: // werknemer
                            echo '<li>' . anchor('/boeking/index', 'Boekingen beheren') . '</li>';
                            break;
                        case 3: // eigenaar ?>
                            <!-- Kamers Dropdown -->
                            <li class="dropdown">
                                <a class="dropdown-toggle" data-toggle="dropdown" href="#">Kamers<span class="caret"></span></a>
                                <ul class="dropdown-menu">
                                    <?php
                                    echo '<li>' . anchor('/kamer/index', 'Kamers beheren') . '</li>';
                                    echo '<li>' . anchor('/kamertype/index', 'Kamertypes beheren') . '</li>';
                                    ?>
                                </ul>
                            </li>
                            <!-- Boekingen Dropdown -->
                            <li class="dropdown">
                                <a class="dropdown-toggle" data-toggle="dropdown" href="#">Boekingen<span class="caret"></span></a>
                                <ul class="dropdown-menu">
                                    <?php
                                    echo '<li>' . anchor('/boeking/index', 'Boekingen beheren') . '</li>';
                                    ?>
                                </ul>
                            </li>
                            <!-- Extra Dropdown -->
                            <li class="dropdown">
                                <a class="dropdown-toggle" data-toggle="dropdown" href="#">Extra beheren<span class="caret"></span></a>
                                <ul class="dropdown-menu">
                                    <?php
                                    echo '<li>' . anchor('/faciliteit/index', 'Faciliteiten beheren') . '</li>';
                                    echo '<li>' . anchor('/menu/index', 'Menu\'s beheren') . '</li>';
                                    echo '<li>' . anchor('/pension/index', 'Pensions beheren') . '</li>';
                                    echo '<li>' . anchor('/typePersoon/index', 'TypePersoon beheren (KortingTypes)') . '</li>';
                                    ?>
                                </ul>
                            </li>
                            <?php

                            break;
                    }
                }

                ?>
            </ul>
<commit_msg>navbar link add<commit_after><!-- Navigation -->
<!-- Responsive/colapsable navigatie balk -->
<nav class="navbar navbar-default navbar-fixed-top" role="navigation">
    <div class="container">
        <div class="navbar-header">
            <button type="button" class="navbar-toggle" data-toggle="collapse" data-target="#myNavbar">
                <span class="icon-bar"></span>
                <span class="icon-bar"></span>
                <span class="icon-bar"></span>
            </button>
            <?php // iedereen
                echo  anchor('/home/index', image("logo.PNG",'class="navbar-brand-img"'),'class="navbar-brand"');
            ?>

        </div>
        <div class="collapse navbar-collapse" id="myNavbar">

            <!-- Linkse navbar -->
            <ul class="nav navbar-nav">
                <?php // iedereen
                if ($user == null) { // niet aangemeld
                } else { // wel aangemeld
                    switch ($user->soort) {
                        case 1: // gewone geregistreerde gebruiker
                            echo '<li>' . anchor('/klant/index', 'Boeking maken') . '</li>';
                            break;
                        case 2: // werknemer
                            echo '<li>' . anchor('/boeking/index', 'Boekingen beheren') . '</li>';
                            break;
                        case 3: // eigenaar ?>
                            <!-- Kamers Dropdown -->
                            <li class="dropdown">
                                <a class="dropdown-toggle" data-toggle="dropdown" href="#">Kamers<span class="caret"></span></a>
                                <ul class="dropdown-menu">
                                    <?php
                                    echo '<li>' . anchor('/kamer/index', 'Kamers beheren') . '</li>';
                                    echo '<li>' . anchor('/kamertype/index', 'Kamertypes beheren') . '</li>';
                                    ?>
                                </ul>
                            </li>
                            <!-- Boekingen Dropdown -->
                            <li class="dropdown">
                                <a class="dropdown-toggle" data-toggle="dropdown" href="#">Boekingen<span class="caret"></span></a>
                                <ul class="dropdown-menu">
                                    <?php
                                    echo '<li>' . anchor('/boeking/index', 'Boekingen beheren') . '</li>';
                                    ?>
                                </ul>
                            </li>
                            <!-- Extra Dropdown -->
                            <li class="dropdown">
                                <a class="dropdown-toggle" data-toggle="dropdown" href="#">Extra beheren<span class="caret"></span></a>
                                <ul class="dropdown-menu">
                                    <?php
                                    echo '<li>' . anchor('/faciliteit/index', 'Faciliteiten beheren') . '</li>';
                                    echo '<li>' . anchor('/menu/index', 'Menu\'s beheren') . '</li>';
                                    echo '<li>' . anchor('/pension/index', 'Pensions beheren') . '</li>';
                                    echo '<li>' . anchor('/typePersoon/index', 'TypePersoon beheren (KortingTypes)') . '</li>';
                                    echo '<li>' . anchor('/persoon/index', 'Accounts beheren') . '</li>';
                                    ?>
                                </ul>
                            </li>
                            <?php

                            break;
                    }
                }

                ?>
            </ul>

{'fraction_non_alphanumeric': 0.14917944578961528, 'fraction_numerical': 0.0008071025020177562, 'mean_word_length': 0.9341831425598335, 'pattern_counts': {'":': 0, '<': 143, '<?xml version=': 0, '>': 145, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 54, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5916211', 'n_tokens_mistral': 1813, 'n_tokens_neox': 1698, 'n_words': 342}