make $INFO available to JavaScripts

Ignore-this: 372ed5dafd33b16d910edc164dc69fb9

$INFO is now exported as JavaScript variable INFO in the HTML
meta headers. This makes it easier for plugin authors to access
important info about the current page and user from JavaScript.

darcs-hash:20091026114046-6e07b-340f009428322105a5dda72933a66a3719de544d.gz

inc/template.php

@@ -352,6 +352,14 @@ function tpl_metaheaders($alt=true){
   $head['script'][] = array( 'type'=>'text/javascript', 'charset'=>'utf-8', '_data'=>'',
                              'src'=>DOKU_BASE.'lib/exe/js.php?edit='.$js_edit.'&write='.$js_write);
 
+  // make $INFO available to JavaScripts
+  require_once(DOKU_INC.'inc/JSON.php');
+  $json = new JSON();
+  $infocpy = $INFO;
+  $infocpy['userinfo']['pass'] = '';
+  $head['script'][] = array( 'type'=>'text/javascript', 'charset'=>'utf-8', '_data'=> 'var INFO = '.$json->encode($infocpy).';');
+
+
   // trigger event here
   trigger_event('TPL_METAHEADER_OUTPUT',$head,'_tpl_metaheaders_action',true);
   return true;