<commit_before><!DOCTYPE html>

<head>

  <meta charset="utf-8" />
  <meta name="apple-mobile-web-app-capable" content="yes">

  <link rel="stylesheet" href="/css/reset.css">
  <link rel="stylesheet" href="/css/base.css">
  <link ref="stylesheet" href="/css/jquery.ui.css">
  <link media="only screen and (max-device-width: 480px)" href="/css/iphone.css" type="text/css" rel="stylesheet" />

  <link href='//fonts.googleapis.com/css?family=Open+Sans:300italic,400italic,600italic,700italic,400,300,700,600' rel='stylesheet' type='text/css'>
  <link href='//fonts.googleapis.com/css?family=Open+Sans+Condensed:300' rel='stylesheet' type='text/css'>

  <script type="text/javascript" src="http://js.pusher.com/1.11/pusher.min.js"></script>
  <script type="text/javascript" src="/js/application.js"></script>

  <title>Play</title>

</head>

<body>

  <img src="/images/spinner.gif" class="spinner" />

  <input id="fileupload" type="file" name="files[]" multiple style="display: none">

  <section id="top-bar">
    <header class="row">

      <!-- <a id="logo">[Play]</a> -->

      <section id="controls">
        <a href="/play" id="play" title="Click to begin streaming music in your browser">
          <audio id="play-stream">
            <source src="{{stream}}" type="audio/mp3" />
          </audio>
          <span>Play</span><commit_msg>Pusher can be accessed over HTTPS, too<commit_after><!DOCTYPE html>

<head>

  <meta charset="utf-8" />
  <meta name="apple-mobile-web-app-capable" content="yes">

  <link rel="stylesheet" href="/css/reset.css">
  <link rel="stylesheet" href="/css/base.css">
  <link ref="stylesheet" href="/css/jquery.ui.css">
  <link media="only screen and (max-device-width: 480px)" href="/css/iphone.css" type="text/css" rel="stylesheet" />

  <link href='//fonts.googleapis.com/css?family=Open+Sans:300italic,400italic,600italic,700italic,400,300,700,600' rel='stylesheet' type='text/css'>
  <link href='//fonts.googleapis.com/css?family=Open+Sans+Condensed:300' rel='stylesheet' type='text/css'>

  <script type="text/javascript" src="//js.pusher.com/1.11/pusher.min.js"></script>
  <script type="text/javascript" src="/js/application.js"></script>

  <title>Play</title>

</head>

<body>

  <img src="/images/spinner.gif" class="spinner" />

  <input id="fileupload" type="file" name="files[]" multiple style="display: none">

  <section id="top-bar">
    <header class="row">

      <!-- <a id="logo">[Play]</a> -->

      <section id="controls">
        <a href="/play" id="play" title="Click to begin streaming music in your browser">
          <audio id="play-stream">
            <source src="{{stream}}" type="audio/mp3" />
          </audio>
          <span>Play</span>
{'fraction_non_alphanumeric': 0.20943952802359883, 'fraction_numerical': 0.025811209439528023, 'mean_word_length': 4.148007590132828, 'pattern_counts': {'":': 0, '<': 67, '<?xml version=': 0, '>': 67, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 2, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '7531032', 'n_tokens_mistral': 994, 'n_tokens_neox': 920, 'n_words': 163}