From ab39f9f51b14f4d18ecd2d704503601c529e545e Mon Sep 17 00:00:00 2001
From: Matt Pass <matt@mattpass.com>
Date: Fri, 23 Jan 2015 08:25:25 +0000
Subject: [PATCH] Microtime this URL also to help stop caching

---
 lib/get-branch.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/get-branch.php b/lib/get-branch.php
index f5c0f9e..dd6cdae 100644
--- a/lib/get-branch.php
+++ b/lib/get-branch.php
@@ -19,7 +19,7 @@ $t = $text['get-branch'];
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
 <meta name="robots" content="noindex, nofollow">
 <?php if ($_SESSION['githubDiff']) { ?>
-<script src="github.js"></script>
+<script src="github.js?microtime=<?php echo microtime(true);?>"></script>
 <?php ;}; ?>
 </head>