<commit_before><?

  function validate_password($clear,$vclear) {
    return ($clear == $vclear)
      && ($clear != "")
      && ($clear == preg_replace("/[\'\"\`\;]/","",$clear));
  }

  function alias_validate_password($clear,$vclear) {
    return ($clear == $vclear)
      && ($clear == preg_replace("/[\'\"\`\;]/","",$clear));
  }

  function check_user_exists($db,$localpart,$domain_id,$page) {
    $query = "SELECT COUNT(*) AS c FROM users WHERE localpart='$localpart' AND domain_id='$domain_id'";
    $result = $db->query($query);
    $row = $result->fetchRow();
    if ($row['c'] != 0) {
      header ("Location: $page?userexists=$localpart");
      die;
    }
  }

  function alpha_menu($flag) {
    global $letter;	// needs to be available to the parent
	$letter = $_GET['LETTER'];
	if ($letter == '') $letter = 'A';
	if ($letter == 'ALL') $letter = '';
	if ($flag) {
		print "\n<p class='alpha'><a href='" . $_SERVER['PHP_SELF'] . "?LETTER=ALL' class='alpha'>ALL</a>&nbsp;&nbsp; ";
		// loops through the alphabet. For international alphabets, replace the string in the proper order
		foreach (preg_split('//', 'ABCDEFGHIJKLMNOPQRSTUVWXYZ', -1, PREG_SPLIT_NO_EMPTY) as $i) {
			print "<a href='" . $_SERVER['PHP_SELF'] . "?LETTER=$i' class='alpha'>$i</a>&nbsp; ";
		}
		print "</p>\n";
	}
  }
?><commit_msg>tidy up<commit_after><?

  function validate_password($clear,$vclear) {
    return ($clear == $vclear)
      && ($clear != "")
      && ($clear == preg_replace("/[\'\"\`\;]/","",$clear));
  }

  function alias_validate_password($clear,$vclear) {
    return ($clear == $vclear)
      && ($clear == preg_replace("/[\'\"\`\;]/","",$clear));
  }

  function check_user_exists($db,$localpart,$domain_id,$page) {
    $query = "SELECT COUNT(*) AS c FROM users WHERE localpart='$localpart' AND domain_id='$domain_id'";
    $result = $db->query($query);
    $row = $result->fetchRow();
    if ($row['c'] != 0) {
      header ("Location: $page?userexists=$localpart");
      die;
    }
  }

  function alpha_menu($flag) {
    global $letter;	// needs to be available to the parent
    $letter = $_GET['LETTER'];
    if ($letter == '') $letter = 'A';
    if ($letter == 'ALL') $letter = '';
    if ($flag) {
      print "\n<p class='alpha'><a href='" . $_SERVER['PHP_SELF'] . "?LETTER=ALL' class='alpha'>ALL</a>&nbsp;&nbsp; ";
      // loops through the alphabet. For international alphabets, replace the string in the proper order
      foreach (preg_split('//', 'ABCDEFGHIJKLMNOPQRSTUVWXYZ', -1, PREG_SPLIT_NO_EMPTY) as $i) {
      	print "<a href='" . $_SERVER['PHP_SELF'] . "?LETTER=$i' class='alpha'>$i</a>&nbsp; ";
      }
    print "</p>\n";
    }
  }
?>
{'fraction_non_alphanumeric': 0.22780067440989135, 'fraction_numerical': 0.0014986886474334957, 'mean_word_length': 3.579759862778731, 'pattern_counts': {'":': 0, '<': 17, '<?xml version=': 0, '>': 21, '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': '7119910', 'n_tokens_mistral': 967, 'n_tokens_neox': 945, 'n_words': 199}