<commit_before><div style="margin-top: 100px; text-align:center">
  <?php echo form_open_multipart('file/do_upload'); ?>
    <p>
      File: <input type="file" id="file" name="file" size="30" />
      <input type="submit" value="Upload" id="upload_button" name="process" /><br />
      Optional password (for deletion): <input type="password" name="password" size="10" />
    </p>
  </form>
  <script type="text/javascript">
    // check file size before uploading if browser support html5
    if (window.File && window.FileList) {
        function checkFileUpload(evt) {
          var f = evt.target.files[0]; // FileList object
          if (f.size > <?php echo $max_upload_size; ?>) {
            document.getElementById('upload_button').value = "File too big";
            document.getElementById('upload_button').disabled = true;
          } else {
            document.getElementById('upload_button').value = "Upload";
            document.getElementById('upload_button').disabled = false;
          }
        }

        document.getElementById('file').addEventListener('change', checkFileUpload, false);
    }
  </script>
  <p>Pasting text directly has been disabled due to extensive bot problems. Please use the file upload instead.</p>
<?php if (false): ?>
  <p><b>OR</b></p><commit_msg>add CDATA to javascript<commit_after><div style="margin-top: 100px; text-align:center">
  <?php echo form_open_multipart('file/do_upload'); ?>
    <p>
      File: <input type="file" id="file" name="file" size="30" />
      <input type="submit" value="Upload" id="upload_button" name="process" /><br />
      Optional password (for deletion): <input type="password" name="password" size="10" />
    </p>
  </form>
  <script type="text/javascript">
    /* <![CDATA[ */
    // check file size before uploading if browser support html5
    if (window.File && window.FileList) {
        function checkFileUpload(evt) {
          var f = evt.target.files[0]; // FileList object
          if (f.size > <?php echo $max_upload_size; ?>) {
            document.getElementById('upload_button').value = "File too big";
            document.getElementById('upload_button').disabled = true;
          } else {
            document.getElementById('upload_button').value = "Upload";
            document.getElementById('upload_button').disabled = false;
          }
        }

        document.getElementById('file').addEventListener('change', checkFileUpload, false);
    }
    /* ]]> */
  </script>
  <p>Pasting text directly has been disabled due to extensive bot problems. Please use the file upload instead.</p>
<?php if (false): ?>
  <p><b>OR</b></p>
{'fraction_non_alphanumeric': 0.15591805766312594, 'fraction_numerical': 0.006828528072837633, 'mean_word_length': 3.082043343653251, 'pattern_counts': {'":': 0, '<': 42, '<?xml version=': 0, '>': 44, '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': '7043570', 'n_tokens_mistral': 758, 'n_tokens_neox': 739, 'n_words': 187}