BarryServer : Git

All the code for all my projects
// BarryServer : Git / barryserver-git / commit / a6603d573a369feda0bc772d59bc48c3d1397442 / head.php

// Related

barryserver-git

Barry Splitting into more pages + commit pages a6603d5 (2 years, 3 months ago)
diff --git a/head.php b/head.php
new file mode 100644
index 0000000..787ecc4
--- /dev/null
+++ b/head.php
@@ -0,0 +1,33 @@
+<?php
+	$MOBILE = (strpos($_SERVER["HTTP_USER_AGENT"],"Mobile") !== FALSE);
+	if (isset($PAGE_TITLE)) {
+		$PAGE_TITLE .= " - ".SITE_TITLE;
+	} else {
+		$PAGE_TITLE = SITE_TITLE;
+	}
+?>
+<!DOCTYPE html>
+<html>
+	<head>
+		<title><?= $PAGE_TITLE ?></title>
+		<meta name="viewport" content="width=device-width, initial-scale=1">
+		<link rel="stylesheet" href="https://use.typekit.net/ihu3uze.css">
+		<link rel="stylesheet" href="//www.barryserver.net/assets/style.css">
+		<link rel="stylesheet" href="//files.barryserver.net/stylesheets/git.css">
+		<link rel="stylesheet" href="/style.css">
+		<script src="//files.barryserver.net/prettify/light.js"></script>
+	</head>
+	<body>
+<?php if (!$MOBILE) { ?>
+		<path>// <a href="/"><?= SITE_TITLE ?></a> <?php $c = ""; foreach (explode("/",explode("?",$_SERVER["REQUEST_URI"])[0]) as $page) {$c .= $page."/"; if ($c !== "/") {echo "/ <a href=\"".htmlspecialchars($c)."\">".htmlspecialchars($page)."</a> ";}} ?></path>
+<?php } ?>
+<?php if (isset($SIDE_LINKS) && count($SIDE_LINKS) > 0) { ?>
+		<sidenav>
+			<h1>Related</h1>
+			<ul>
+<?php foreach ($SIDE_LINKS as $txt => $url) { ?>
+				<li><a href="<?= $url ?>"><?= $txt ?></a></li>
+<?php } ?>
+			</ul>
+		</sidenav>
+<?php } ?>