hackerhub / left.php

<!DOCTYPE html> 
<html lang="en"> 
<meta charset="utf-8" /> 
<title><?php if($content_data->title) echo $content_data->title; ?><?php if($profile_data->settings->name): ?> by <?php echo $profile_data->settings->name ?> on <?php endif ?>hackerhub</title> 
<link href='http://fonts.googleapis.com/css?family=Istok+Web:400,700' rel='stylesheet' type='text/css'>
<meta name="viewport" content="width=device-width" />
<!-- <link rel="stylesheet" type="text/css" media="all" href="/style-bright.css" title="bright theme"  />  -->
<?php if($profile_data->settings->stylesheet): ?>
<link rel="stylesheet" type="text/css" media="all" href="<?php echo $profile_data->settings->stylesheet ?>" title="custom theme" /> 
<?php endif ?>
<link rel="stylesheet" type="text/css" media="all" href="/style-<?php echo $_SESSION["theme"] ?>.css" title="dark theme" />
<script type="text/javascript" src="/lib/google-code-prettify/prettify.js"></script>
<script type="text/javascript" src="https://ajax.googleapis.com/ajax/libs/jquery/1.6.2/jquery.min.js"></script>
<?php if($profile_data->settings->avatar): ?><link rel="shortcut icon" href="<?php echo $profile_data->settings->avatar ?>" /><?php endif ?>
<div id="top"><a href="http://hackerhub.org"><img src="/logo.png" height="12"></a><form action="http://hackerhub.org/" method="post" id="searchform"><input id="s" name="s" placeholder="search hackerhub"></form></div>
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.