<commit_before><?php
	$time = array(
		0 => "00:00",
		1 => "01:00",
		2 => "02:00",
		3 => "03:00",
		4 => "04:00",
		5 => "05:00",
		6 => "06:00",
		7 => "07:00",
		8 => "08:00",
		9 => "09:00",
		10 => "10:00",
		11 => "11:00",
		12 => "12:00",
		13 => "13:00",
		14 => "14:00",
		15 => "15:00",
		16 => "16:00",
		17 => "17:00",
		18 => "18:00",
		19 => "19:00",
		20 => "20:00",
		21 => "21:00",
		22 => "22:00",
		23 => "23:00"
	);
?>

<h1><?php echo "Rechercher une salle"; ?></h1>
<form method="post" action="resultat" enctype="multipart/form-data">
	<p>
		<label for="nom"> <?php echo "Nom de la salle";?></label><br />
		<input name="nom" type="text" />
	</p>
	<p>			
		<label for="date"><?php echo "Date";?></label><br />
		<?php foreach ($journees as $journee): ?>
		<div class="checkbox">
			<input type="checkbox" name="date" value="<?php echo $journee['jour'] ?>" ><?php $date = new DateTime($journee['jour']); echo $date->format('l j F') ?><br />
		</div>
		<?php endforeach; ?>
	</p>
	<p>			
		<label for="creneau"><?php echo "Créneau horaire";?></label><br />
		de
		<select name="creneau" class="lselect">
		<?php foreach ($time as $hour): ?>
			<option value="<?php echo $hour ?>"><?php echo $hour ?></option>
		<?php endforeach; ?>
		</select> 
		à
		<select name="creneau" class="lselect">
		<?php foreach ($time as $hour): ?>
			<option value="<?php echo $hour ?>"><?php echo $hour ?></option>
		<?php endforeach; ?>
		</select> 
	</p>
	<p>			
		<label for="capacite"><?php echo "Capacité de la salle"?></label><br />
		<select name="capacite">
			<option value="1">&lt 100</option>
			<option value="2">&gt 100 et &lt 200</option>
			<option value="3">&gt 200 et &lt 500</option>
			<option value="4">&gt 500 et &lt 1000</option>
			<option value="5">&gt 1000</option>
		</select> 
	</p>
	<p>			
		<label for="accessibilite"><?php echo "Accessible aux personnes à mobilité réduite";?></label><br />
		<div class="checkbox">
			<input type="checkbox" name="accessibilite" value="ok"> <?php echo "Oui";?>
		</div>
	</p>
	<p><input type="submit" value="Rechercher"/></p>
</form>
<commit_msg>Update recherche.php<commit_after><?php
	$time = array(
		0 => "00:00",
		1 => "01:00",
		2 => "02:00",
		3 => "03:00",
		4 => "04:00",
		5 => "05:00",
		6 => "06:00",
		7 => "07:00",
		8 => "08:00",
		9 => "09:00",
		10 => "10:00",
		11 => "11:00",
		12 => "12:00",
		13 => "13:00",
		14 => "14:00",
		15 => "15:00",
		16 => "16:00",
		17 => "17:00",
		18 => "18:00",
		19 => "19:00",
		20 => "20:00",
		21 => "21:00",
		22 => "22:00",
		23 => "23:00"
	);
?>

<h1><?php echo_("Rechercher une salle"); ?></h1>
<form method="post" action="resultat" enctype="multipart/form-data">
	<p>
		<label for="nom"> <?php echo_("Nom de la salle");?></label><br />
		<input name="nom" type="text" />
	</p>
	<p>			
		<label for="date"><?php echo_("Date");?></label><br />
		<?php foreach ($journees as $journee): ?>
		<div class="checkbox">
			<input type="checkbox" name="date" value="<?php echo $journee['jour'] ?>" ><?php $date = new DateTime($journee['jour']); echo $date->format('l j F') ?><br />
		</div>
		<?php endforeach; ?>
	</p>
	<p>			
		<label for="creneau"><?php echo_("Créneau horaire");?></label><br />
		<?php echo_("de"); ?>
		<select name="creneau" class="lselect">
		<?php foreach ($time as $hour): ?>
			<option value="<?php echo $hour ?>"><?php echo $hour ?></option>
		<?php endforeach; ?>
		</select> 
		<?php echo_("à"); ?>
		<select name="creneau" class="lselect">
		<?php foreach ($time as $hour): ?>
			<option value="<?php echo $hour ?>"><?php echo $hour ?></option>
		<?php endforeach; ?>
		</select> 
	</p>
	<p>			
		<label for="capacite"><?php echo_("Capacité de la salle")?></label><br />
		<select name="capacite">
			<option value="1">&lt 100</option>
			<option value="2">&gt 100 et &lt 200</option>
			<option value="3">&gt 200 et &lt 500</option>
			<option value="4">&gt 500 et &lt 1000</option>
			<option value="5">&gt 1000</option>
		</select> 
	</p>
	<p>			
		<label for="accessibilite"><?php echo_("Accessible aux personnes à mobilité réduite");?></label><br />
		<div class="checkbox">
			<input type="checkbox" name="accessibilite" value="ok"> <?php echo_("Oui");?>
		</div>
	</p>
	<p><input type="submit" value=<?php echo_("Rechercher");?>/></p>
</form>

{'fraction_non_alphanumeric': 0.2670388462433124, 'fraction_numerical': 0.07769248662479647, 'mean_word_length': 3.847801578354002, 'pattern_counts': {'":': 0, '<': 166, '<?xml version=': 0, '>': 216, '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': '497470', 'n_tokens_mistral': 2052, 'n_tokens_neox': 1741, 'n_words': 423}