diff options
| author | Patrick Davison <snapwilliam@gmail.com> | 2013-05-13 03:17:50 -0700 |
|---|---|---|
| committer | Patrick Davison <snapwilliam@gmail.com> | 2013-05-13 03:17:50 -0700 |
| commit | be1835a265e732512880e761d308d4046c9fb79c (patch) | |
| tree | 55d418b0d691a431a3192b9eb1c2c6f7a820925e | |
| parent | 1bbb6991ebbc420d1023cf4fd6c2a336ba906c0a (diff) | |
| download | pathery-be1835a265e732512880e761d308d4046c9fb79c.tar.xz | |
Resource name-tweaks.
| -rw-r--r-- | includes/header.php | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/includes/header.php b/includes/header.php index 35fd323..d394b39 100644 --- a/includes/header.php +++ b/includes/header.php @@ -1,7 +1,7 @@ <?php
function htmlHeader($css = array(), $title = 'Pathery', $desc = '', $scripts = array()) {
global $accepted;
- $resourceVer = '050513.js';
+ $resourceVer = '050513';
?>
<!DOCTYPE html>
<html xml:lang="en" lang="en">
@@ -9,28 +9,27 @@ function htmlHeader($css = array(), $title = 'Pathery', $desc = '', $scripts = a <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
<title><? echo $title; ?></title>
- <link href="css/page.css?v=011013" rel="stylesheet" type="text/css" />
+ <link href="css/page.css?v=050513.css" rel="stylesheet" type="text/css" />
<?
if (isset($_GET['skin']) AND $_GET['skin'] == 'true') {
echo '<link href="skin/cute/css/maps.css" rel="stylesheet" type="text/css" />';
} else {
- echo "<link href='css/maps.css?v=$resourceVer' rel='stylesheet' type='text/css' />";
+ echo "<link href='css/maps.css?v=$resourceVer.css' rel='stylesheet' type='text/css' />";
}
- // <link href="css/maps.css?v=122612" rel="stylesheet" type="text/css" />
?>
<link rel="image_src" type="image/png" href="/images/linkdsp.png" />
<?php
foreach ($css as $c) {
- echo " <link href=\"css/$c.css\" rel=\"stylesheet\" type=\"text/css\" />\n";
+ echo " <link href=\"css/$c.css?v=$resourceVer.css\" rel=\"stylesheet\" type=\"text/css\" />\n";
}
if ($desc !== '') echo " <meta name='Description' content='$desc'>";
- foreach ($scripts as $s) echo "<script src='js/$s.js?v=$resourceVer'></script>";
+ foreach ($scripts as $s) echo "<script src='js/$s.js?v=$resourceVer.js'></script>";
?>
<script src="js/ajax.js" async="async"></script>
<script src="//ajax.googleapis.com/ajax/libs/jquery/1.8.3/jquery.min.js"></script>
- <script src="js/mapspecs.js?v=122612"></script>
- <script src="js/globe.js?v=122612"></script>
+ <script src="js/mapspecs.js?v=050513.js"></script>
+ <script src="js/globe.js?v=050513.js></script>
<script>
(function(c,a){window.mixpanel=a;var b,d,h,e;b=c.createElement("script");b.type="text/javascript";b.async=!0;b.src=("https:"===c.location.protocol?"https:":"http:")+'//cdn.mxpnl.com/libs/mixpanel-2.1.min.js';d=c.getElementsByTagName("script")[0];d.parentNode.insertBefore(b,d);a._i=[];a.init=function(b,c,f){function d(a,b){var c=b.split(".");2==c.length&&(a=a[c[0]],b=c[1]);a[b]=function(){a.push([b].concat(Array.prototype.slice.call(arguments,0)))}}var g=a;"undefined"!==typeof f?
|