jast
/
gitinfo-web


			
				
					
						
						
							12345678910111213141516171819202122232425262728293031323334353637383940414243
							<?php

function tpl_redirect($path)
{
	header("Location: http://jk.gs/git/bot/$path");
	exit;
}

function tpl_header()
{
	print <<<EOT
<!DOCTYPE HTML>
<html><head><title>#git bot interface</title>
<link rel="stylesheet" type="text/css" href="../style.css">
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<link rel="shortcut icon" href="/git/bot/favicon.ico">
</head><body>
<h1>#git bot interface</h1>
EOT;
	if ($user = logged_in()) {
		print <<<EOT
<div id="login_menu">Hi <strong>$user</strong>. <a href="logout.php">Log
out</a> or go do fun stuff.</div>
EOT;
	}
	if (isset($_GET['ok'])) {
		print "<div id=\"msg\">Operation successful. Yay!</div>";
	}
}

function tpl_footer()
{
	print <<<EOT
</body></html>
EOT;
}

function format_plain_linked($t)
{
	return preg_replace('/\\b(https?:\/\/\\S+)(?<![.,!?;>])/', '<a href="$1">$1</a>', htmlspecialchars($t));
}