<commit_before><?php
if (is_cli_client() && !isset($force_full_html)) {
	return;
}
?><!DOCTYPE html>
<html lang="en">

<head>
	<meta charset="utf-8">
	<title><?php echo isset($title) ? $title : 'FileBin'; ?></title>
	<meta name="viewport" content="width=device-width, initial-scale=1.0">
	<meta name="robots" content="noindex,nofollow" />
	<meta name="description" content="">
	<meta name="author" content="">

	<link href="<?php echo link_with_mtime("/data/css/ui-lightness/jquery-ui-1.10.3.custom.min.css"); ?>" rel="stylesheet">
	<link href="<?php echo link_with_mtime("/data/css/bootstrap-2.3.2.min.css"); ?>" rel="stylesheet">
	<link href="<?php echo link_with_mtime("/data/css/style.css"); ?>" rel="stylesheet">
	<?php
		if (file_exists(FCPATH."data/local/style.css")) {
			echo '<link href="'.link_with_mtime("/data/local/style.css").'" rel="stylesheet">';
		}
?>
</head>

<body>
<div id="wrap">
<div id="navbar-height"></div>
<?php if (file_exists(FCPATH."data/local/header.inc.php")) {
	include FCPATH."data/local/header.inc.php";
}?>
	<div class="navbar navbar-fixed-top navbar-inverse">
		<div class="navbar-inner">
			<div class="container">
				<a class="brand" href="<?php echo site_url(); ?>">FileBin</a>
				<?php if(!isset($GLOBALS["is_error_page"])) { ?>
					<ul class="nav pull-right">
						<?php if(isset($username) && $username) { ?>
							<li><a href="<?php echo site_url("/user/logout"); ?>">Logout</a></li>
						<?php } else { ?>
							<li class="dropdown">
										<a class="dropdown-toggle" href="#" data-toggle="dropdown">Login <b class="caret"></b></a>
										<div class="dropdown-menu" style="padding: 15px;">
										<?php if(auth_driver_function_implemented("can_reset_password")) { ?>
											<p><?php echo anchor("user/reset_password", "Forgot your password?"); ?></p>
										<?php } ?>
										<?php echo form_open("user/login"); ?>
											<input type="text" name="username" placeholder="Username" class="input-medium">
											<input type="password" name="password" placeholder="Password" class="input-medium">
											<button type="submit" name="process" class="btn btn-primary pull-right">Login</button>
										</form>
									</div>
							</li>
						<?php } ?>
					</ul>
					<?php }; ?>
					<ul class="nav">
						<?php if(isset($username) && $username) { ?>
							<li><a href="<?php echo site_url("file/index") ?>"><i class="icon-pencil icon-white"></i> New</a></li>
							<li><a href="<?php echo site_url("file/upload_history") ?>"><i class="icon-book icon-white"></i> History</a></li>
							<li class="dropdown">
								<a href="<?php echo site_url("user/index"); ?>" class="dropdown-toggle" data-toggle="dropdown">
									<i class="icon-user icon-white"></i> Account <b class="caret"></b>
								</a>
								<ul class="dropdown-menu">
									<?php include "user/nav.php"; ?>
								</ul>
							</li>
						<?php } ?>
					</ul>
			</div>
		</div>
	</div>

	<div class="container">
	<?php
	if (isset($alerts)) {
		foreach ($alerts as $alert) { ?>
			<div class="alert alert-block alert-<?php echo $alert["type"]; ?>" style="text-align: center">
				<button type="button" class="close" data-dismiss="alert">&times;</button>
				<?php echo $alert["message"]; ?>
			</div>
			<?php
		}
	}
	?><commit_msg>header: move #navbar-height below nav<commit_after><?php
if (is_cli_client() && !isset($force_full_html)) {
	return;
}
?><!DOCTYPE html>
<html lang="en">

<head>
	<meta charset="utf-8">
	<title><?php echo isset($title) ? $title : 'FileBin'; ?></title>
	<meta name="viewport" content="width=device-width, initial-scale=1.0">
	<meta name="robots" content="noindex,nofollow" />
	<meta name="description" content="">
	<meta name="author" content="">

	<link href="<?php echo link_with_mtime("/data/css/ui-lightness/jquery-ui-1.10.3.custom.min.css"); ?>" rel="stylesheet">
	<link href="<?php echo link_with_mtime("/data/css/bootstrap-2.3.2.min.css"); ?>" rel="stylesheet">
	<link href="<?php echo link_with_mtime("/data/css/style.css"); ?>" rel="stylesheet">
	<?php
		if (file_exists(FCPATH."data/local/style.css")) {
			echo '<link href="'.link_with_mtime("/data/local/style.css").'" rel="stylesheet">';
		}
?>
</head>

<body>
<div id="wrap">
<?php if (file_exists(FCPATH."data/local/header.inc.php")) {
	include FCPATH."data/local/header.inc.php";
}?>
	<div class="navbar navbar-fixed-top navbar-inverse">
		<div class="navbar-inner">
			<div class="container">
				<a class="brand" href="<?php echo site_url(); ?>">FileBin</a>
				<?php if(!isset($GLOBALS["is_error_page"])) { ?>
					<ul class="nav pull-right">
						<?php if(isset($username) && $username) { ?>
							<li><a href="<?php echo site_url("/user/logout"); ?>">Logout</a></li>
						<?php } else { ?>
							<li class="dropdown">
										<a class="dropdown-toggle" href="#" data-toggle="dropdown">Login <b class="caret"></b></a>
										<div class="dropdown-menu" style="padding: 15px;">
										<?php if(auth_driver_function_implemented("can_reset_password")) { ?>
											<p><?php echo anchor("user/reset_password", "Forgot your password?"); ?></p>
										<?php } ?>
										<?php echo form_open("user/login"); ?>
											<input type="text" name="username" placeholder="Username" class="input-medium">
											<input type="password" name="password" placeholder="Password" class="input-medium">
											<button type="submit" name="process" class="btn btn-primary pull-right">Login</button>
										</form>
									</div>
							</li>
						<?php } ?>
					</ul>
					<?php }; ?>
					<ul class="nav">
						<?php if(isset($username) && $username) { ?>
							<li><a href="<?php echo site_url("file/index") ?>"><i class="icon-pencil icon-white"></i> New</a></li>
							<li><a href="<?php echo site_url("file/upload_history") ?>"><i class="icon-book icon-white"></i> History</a></li>
							<li class="dropdown">
								<a href="<?php echo site_url("user/index"); ?>" class="dropdown-toggle" data-toggle="dropdown">
									<i class="icon-user icon-white"></i> Account <b class="caret"></b>
								</a>
								<ul class="dropdown-menu">
									<?php include "user/nav.php"; ?>
								</ul>
							</li>
						<?php } ?>
					</ul>
			</div>
		</div>
	</div>
	<div id="navbar-height"></div>

	<div class="container">
	<?php
	if (isset($alerts)) {
		foreach ($alerts as $alert) { ?>
			<div class="alert alert-block alert-<?php echo $alert["type"]; ?>" style="text-align: center">
				<button type="button" class="close" data-dismiss="alert">&times;</button>
				<?php echo $alert["message"]; ?>
			</div>
			<?php
		}
	}
	?>
{'fraction_non_alphanumeric': 0.2288609892603237, 'fraction_numerical': 0.003630313114506126, 'mean_word_length': 3.6334968465311843, 'pattern_counts': {'":': 0, '<': 213, '<?xml version=': 0, '>': 213, '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': '5188764', 'n_tokens_mistral': 2781, 'n_tokens_neox': 2255, 'n_words': 432}