diff options
Diffstat (limited to 'includes/header.php')
| -rw-r--r-- | includes/header.php | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/includes/header.php b/includes/header.php index da5e11d..35fd323 100644 --- a/includes/header.php +++ b/includes/header.php @@ -1,6 +1,7 @@ <?php
function htmlHeader($css = array(), $title = 'Pathery', $desc = '', $scripts = array()) {
global $accepted;
+ $resourceVer = '050513.js';
?>
<!DOCTYPE html>
<html xml:lang="en" lang="en">
@@ -9,7 +10,14 @@ function htmlHeader($css = array(), $title = 'Pathery', $desc = '', $scripts = a <title><? echo $title; ?></title>
<link href="css/page.css?v=011013" rel="stylesheet" type="text/css" />
- <link href="css/maps.css?v=122612" 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' />";
+ }
+ // <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) {
@@ -17,7 +25,7 @@ function htmlHeader($css = array(), $title = 'Pathery', $desc = '', $scripts = a }
if ($desc !== '') echo " <meta name='Description' content='$desc'>";
- foreach ($scripts as $s) echo "<script src='js/$s.js?v=122612'></script>";
+ foreach ($scripts as $s) echo "<script src='js/$s.js?v=$resourceVer'></script>";
?>
<script src="js/ajax.js" async="async"></script>
<script src="//ajax.googleapis.com/ajax/libs/jquery/1.8.3/jquery.min.js"></script>
@@ -136,12 +144,14 @@ function htmlFooter() { s.parentNode.appendChild(ga, s);
<?
+ if (isset($_SESSION['displayName'])) {
echo "mixpanel.people.set({
\$email: " . json_encode($_SESSION['email']) . ",
\$username: " . json_encode($_SESSION['displayName']) . ",
\$last_login: '" . date(DateTime::ISO8601) . "',
\$created: '" . $_SESSION['dateJoined'] . "'
});";
+ }
?>
})();
@@ -215,7 +225,7 @@ function userDataToJS() { $userID = $_SESSION['userID'];
include_once('includes/datas.php');
$hasInsaneSpeed = hasExtrasUnlock($userID, UNLOCK_EXTRAS, MISC_UNLOCK_INSANE_SPEED);
- $r .= 'hasInsaneSpeed":'.$hasInsaneSpeed.'};'."\n";
+ $r = 'hasInsaneSpeed":'.$hasInsaneSpeed.'};'."\n";
$json = array('ID' => 'fat');
$json['ID'] = $userID;
$json['wallColor'] = $wallColor;
|