From 5dd4d2820176a1844d3bb0d6a57ceae87453280d Mon Sep 17 00:00:00 2001 From: kanoi Date: Sun, 5 Apr 2015 00:41:05 +1100 Subject: [PATCH] php - optional mini page header, set permanently on the user settings page --- pool/page.php | 34 +++++++++++++++++++--------------- pool/page_userset.php | 3 +++ 2 files changed, 22 insertions(+), 15 deletions(-) diff --git a/pool/page.php b/pool/page.php index e05b1b3b..6f8ee891 100644 --- a/pool/page.php +++ b/pool/page.php @@ -54,8 +54,6 @@ function addGBase() $g = "function hasCan(){var c0=document.getElementById('can0');c=document.getElementById('can');return !!(c0&&c&&c.getContext&&c.getContext('2d'));} function sep(d){ans={};var ar=d.split('\\t');var l=ar.length;for(var i=0;i0){ans=c[0].substr(e+1)}}}return ans} -function scnv(n,v){var d=new Date();d.setTime(d.getTime()+(864*Math.pow(10,8)));document.cookie=n+'='+v+'; expires='+d.toUTCString()+'; path=/'} function ccb(c,n){var e=document.getElementById(n);c[n]=(e&&e.checked)} function gch(z,zm){if(z<0.5){return 0.5}if(z>(zm-0.5)){return(zm-0.5)}return z} function gchx(c,x){return gch(x*c['xm']+c['xo'],c['ctx'].canvas.width)} @@ -193,10 +191,16 @@ function pghead($css_marker, $script_marker, $name) $head .= ""; $head .= ""; - $head .= "\n"; - + $head .= "\n"; $head .= "