From 8f6714996018afc17811eda2baf2789a438c6759 Mon Sep 17 00:00:00 2001
From: kanoi <gitkanoi@k1k2.com>
Date: Sun, 5 Apr 2015 21:47:30 +1000
Subject: [PATCH] php - remove js console warning

---
 pool/page.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pool/page.php b/pool/page.php
index 6f8ee891..4d4c3a69 100644
--- a/pool/page.php
+++ b/pool/page.php
@@ -198,7 +198,7 @@ function ni(e,o){if(e){if(o==0){e.defd=e.style.display;e.style.display='none'}el
 function domin(o){var e=document.getElementById('minicb');if(e){if(o==0){e.checked=true}else{e.checked=false}};for(var i=0;i<10;i++){e=document.getElementById('mini'+i);ni(e,o)}}
 function mini(){var hm=gcn('mini');if(hm==''){domin(1)}else{domin(0)}}
 function md(e){var c='';if(e.checked){c='y'}scnv('mini',c);mini()}
-function jst(){document.getElementById('jst').style.visibility='hidden';}
+function jst(){var e=document.getElementById('jst');if(e){e.style.visibility='hidden'}}
 window.onpaint=jst();
 </script>\n";
  $head .= "<style type='text/css'>