<commit_before><?php
	require("lib/common.php");

	session_start();
	$_SESSION = array();

	colonyHTMLStart();
?>
<p>You are now logged out. Thanks for playing!</p>
<?php
	colonyHTMLEnd();
?>
<commit_msg>Replace HTMLStart and HTMLEnd with HTMLHeader and HTMLFooter when logging out.<commit_after><?php
	require("lib/common.php");

	session_start();
	$_SESSION = array();

	colonyHTMLHeader();
?>
<p>You are now logged out. Thanks for playing!</p>
<?php
	colonyHTMLFooter();
?>

{'fraction_non_alphanumeric': 0.16561844863731656, 'fraction_numerical': 0.0, 'mean_word_length': 5.638888888888889, 'pattern_counts': {'":': 0, '<': 11, '<?xml version=': 0, '>': 11, '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': '2670871', 'n_tokens_mistral': 165, 'n_tokens_neox': 164, 'n_words': 42}