<commit_before><?php
// Get the price of the product.
$price = $this->DBManager->get_price(1);
?>

<div data-role="main" class="ui-content jqm-content jqm-fullwidth" id="main">
    Price per consumption: <?php echo $this->Util->price_to_string($price); ?>
    <div class="ui-body ui-body-a ui-corner-all">
        <?php echo form_open('process_purchase', 'data-ajax="false"'); ?>
            <button type="submit">Purchase</button>
            <table data-role="table" data-filter="true" data-mode="reflow" class="ui-responsive striped">
                <thead>
                    <tr>
                        <th>Name</th>
                        <th>Amount of consumptions</th>
                    </tr>
                </thead>
                <tbody>
                <?php
                $users = $this->DBManager->get_all_user_data();

                // Display all users.
                foreach($users as $user) {
                    // Hide the admin and local user.
                    if($user['username'] != 'admin' && $user['username'] != 'local') { ?>
                        <tr>
                            <td>
                                <?php echo $this->Util->combine_name($user); ?>
                            </td>
                            <td>
                                <?php echo $this->Util->form->get_horizontal_spinbox($user['id'], 0, 0); ?>
                            </td>
                            </tr>
                        <?php
                    }
                }
                ?>
                </tbody>
            </table>
        </form>
    </div>
</div><commit_msg>Improved HTML spacing.<commit_after><?php
// Get the price of the product.
$price = $this->DBManager->get_price(1);
?>

<div data-role="main" class="ui-content jqm-content jqm-fullwidth" id="main">
    Price per consumption: <?php echo $this->Util->price_to_string($price); ?>
    <div class="ui-body ui-body-a ui-corner-all">
        <?php echo form_open('process_purchase', 'data-ajax="false"'); ?>
            <button type="submit">Purchase</button>
            <table data-role="table" data-filter="true" data-mode="reflow" class="ui-responsive striped">
                <thead>
                    <tr>
                        <th>Name</th>
                        <th>Amount of consumptions</th>
                    </tr>
                </thead>
                <tbody>
                <?php
                $users = $this->DBManager->get_all_user_data();

                // Display all users.
                foreach($users as $user) {
                    // Hide the admin and local user.
                    if($user['username'] != 'admin' && $user['username'] != 'local') { ?>
                        
                    <tr>
                        <td>
                            <?php echo $this->Util->combine_name($user) . "\n"; ?>
                        </td>
                        <td>
                            <?php echo $this->Util->form->get_horizontal_spinbox($user['id'], 0, 0); ?>
                        </td>
                    </tr>
<?php               }
                }
                ?>
                </tbody>
            </table>
        </form>
    </div>
</div>
{'fraction_non_alphanumeric': 0.15026226473310705, 'fraction_numerical': 0.0018512804689910522, 'mean_word_length': 1.1342988808426597, 'pattern_counts': {'":': 0, '<': 67, '<?xml version=': 0, '>': 89, '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': '6628826', 'n_tokens_mistral': 898, 'n_tokens_neox': 837, 'n_words': 172}