xref: /dokuwiki/lib/exe/js.php (revision 5cafff964bdbfadfa66e4752eb6b392d2fce9087)
178a6aeb1SAndreas Gohr<?php
278a6aeb1SAndreas Gohr/**
378a6aeb1SAndreas Gohr * DokuWiki JavaScript creator
478a6aeb1SAndreas Gohr *
578a6aeb1SAndreas Gohr * @license    GPL 2 (http://www.gnu.org/licenses/gpl.html)
678a6aeb1SAndreas Gohr * @author     Andreas Gohr <andi@splitbrain.org>
778a6aeb1SAndreas Gohr */
878a6aeb1SAndreas Gohr
978a6aeb1SAndreas Gohrif(!defined('DOKU_INC')) define('DOKU_INC',realpath(dirname(__FILE__).'/../../').'/');
101c2d1019SAndreas Gohrif(!defined('NOSESSION')) define('NOSESSION',true); // we do not use a session or authentication here (better caching)
11b1a4fe22SAndreas Gohrif(!defined('NL')) define('NL',"\n");
1278a6aeb1SAndreas Gohrrequire_once(DOKU_INC.'inc/init.php');
1378a6aeb1SAndreas Gohrrequire_once(DOKU_INC.'inc/pageutils.php');
1478a6aeb1SAndreas Gohrrequire_once(DOKU_INC.'inc/io.php');
153df72098SAndreas Gohrrequire_once(DOKU_INC.'inc/JSON.php');
1678a6aeb1SAndreas Gohr
1778a6aeb1SAndreas Gohr// Main (don't run when UNIT test)
1878a6aeb1SAndreas Gohrif(!defined('SIMPLE_TEST')){
1978a6aeb1SAndreas Gohr    header('Content-Type: text/javascript; charset=utf-8');
2078a6aeb1SAndreas Gohr    js_out();
2178a6aeb1SAndreas Gohr}
2278a6aeb1SAndreas Gohr
2378a6aeb1SAndreas Gohr
2478a6aeb1SAndreas Gohr// ---------------------- functions ------------------------------
2578a6aeb1SAndreas Gohr
2678a6aeb1SAndreas Gohr/**
2778a6aeb1SAndreas Gohr * Output all needed JavaScript
2878a6aeb1SAndreas Gohr *
2978a6aeb1SAndreas Gohr * @author Andreas Gohr <andi@splitbrain.org>
3078a6aeb1SAndreas Gohr */
3178a6aeb1SAndreas Gohrfunction js_out(){
3278a6aeb1SAndreas Gohr    global $conf;
3378a6aeb1SAndreas Gohr    global $lang;
3478a6aeb1SAndreas Gohr    $edit  = (bool) $_REQUEST['edit'];   // edit or preview mode?
3578a6aeb1SAndreas Gohr    $write = (bool) $_REQUEST['write'];  // writable?
3678a6aeb1SAndreas Gohr
3778a6aeb1SAndreas Gohr    // The generated script depends on some dynamic options
38cf6894dfSAndreas Gohr    $cache = getCacheName('scripts'.$edit.'x'.$write,'.js');
3978a6aeb1SAndreas Gohr
4078a6aeb1SAndreas Gohr    // Array of needed files
4178a6aeb1SAndreas Gohr    $files = array(
4278a6aeb1SAndreas Gohr                DOKU_INC.'lib/scripts/events.js',
433df72098SAndreas Gohr                DOKU_INC.'lib/scripts/cookie.js',
4478a6aeb1SAndreas Gohr                DOKU_INC.'lib/scripts/script.js',
4578a6aeb1SAndreas Gohr                DOKU_INC.'lib/scripts/tw-sack.js',
4678a6aeb1SAndreas Gohr                DOKU_INC.'lib/scripts/ajax.js',
4778a6aeb1SAndreas Gohr                DOKU_INC.'lib/scripts/domLib.js',
4878a6aeb1SAndreas Gohr                DOKU_INC.'lib/scripts/domTT.js',
4978a6aeb1SAndreas Gohr             );
503df72098SAndreas Gohr    if($edit){
513df72098SAndreas Gohr        if($write){
5278a6aeb1SAndreas Gohr            $files[] = DOKU_INC.'lib/scripts/edit.js';
5378a6aeb1SAndreas Gohr            if($conf['spellchecker']){
5478a6aeb1SAndreas Gohr                $files[] = DOKU_INC.'lib/scripts/spellcheck.js';
5578a6aeb1SAndreas Gohr            }
5678a6aeb1SAndreas Gohr        }
573df72098SAndreas Gohr        $files[] = DOKU_INC.'lib/scripts/media.js';
583df72098SAndreas Gohr    }
59d4df8f5cSAndreas Gohr    $files[] = DOKU_TPLINC.'script.js';
6078a6aeb1SAndreas Gohr
6178a6aeb1SAndreas Gohr    // get possible plugin scripts
6278a6aeb1SAndreas Gohr    $plugins = js_pluginscripts();
6378a6aeb1SAndreas Gohr
6438f56bffSBen Coburn    // check cache age & handle conditional request
6507525e80SBen Coburn    header('Cache-Control: public, max-age=3600');
6638f56bffSBen Coburn    header('Pragma: public');
6778a6aeb1SAndreas Gohr    if(js_cacheok($cache,array_merge($files,$plugins))){
6838f56bffSBen Coburn        http_conditionalRequest(filemtime($cache));
69cf6894dfSAndreas Gohr        if($conf['allowdebug']) header("X-CacheUsed: $cache");
7078a6aeb1SAndreas Gohr        readfile($cache);
7178a6aeb1SAndreas Gohr        return;
7238f56bffSBen Coburn    } else {
7338f56bffSBen Coburn        http_conditionalRequest(time());
7478a6aeb1SAndreas Gohr    }
7578a6aeb1SAndreas Gohr
7678a6aeb1SAndreas Gohr    // start output buffering and build the script
7778a6aeb1SAndreas Gohr    ob_start();
7878a6aeb1SAndreas Gohr
793df72098SAndreas Gohr    // add some global variables
803df72098SAndreas Gohr    print "var DOKU_BASE   = '".DOKU_BASE."';";
813df72098SAndreas Gohr
823df72098SAndreas Gohr    //FIXME: move thes into LANG
832411dd85SAndreas Gohr    print "var alertText   = '".js_escape($lang['qb_alert'])."';";
842411dd85SAndreas Gohr    print "var notSavedYet = '".js_escape($lang['notsavedyet'])."';";
852411dd85SAndreas Gohr    print "var reallyDel   = '".js_escape($lang['del_confirm'])."';";
863df72098SAndreas Gohr
873df72098SAndreas Gohr    // load JS specific translations
883df72098SAndreas Gohr    $json = new JSON();
893df72098SAndreas Gohr    echo 'LANG = '.$json->encode($lang['js']).";\n";
9078a6aeb1SAndreas Gohr
9178a6aeb1SAndreas Gohr    // load files
9278a6aeb1SAndreas Gohr    foreach($files as $file){
93a531dd93SAndreas Gohr        echo "\n\n/* XXXXXXXXXX begin of $file XXXXXXXXXX */\n\n";
9492715ebaSAndreas Gohr        @readfile($file);
95a531dd93SAndreas Gohr        echo "\n\n/* XXXXXXXXXX end of $file XXXXXXXXXX */\n\n";
9678a6aeb1SAndreas Gohr    }
9778a6aeb1SAndreas Gohr
9878a6aeb1SAndreas Gohr    // init stuff
9924a33b42SAndreas Gohr    js_runonstart("ajax_qsearch.init('qsearch__in','qsearch__out')");
10078a6aeb1SAndreas Gohr    js_runonstart("addEvent(document,'click',closePopups)");
10100540a38SAndreas Gohr    js_runonstart('addTocToggle()');
10278a6aeb1SAndreas Gohr
10378a6aeb1SAndreas Gohr    if($edit){
10478a6aeb1SAndreas Gohr        // size controls
10524a33b42SAndreas Gohr        js_runonstart("initSizeCtl('size__ctl','wiki__text')");
10678a6aeb1SAndreas Gohr
10778a6aeb1SAndreas Gohr        if($write){
10878a6aeb1SAndreas Gohr            require_once(DOKU_INC.'inc/toolbar.php');
10978a6aeb1SAndreas Gohr            toolbar_JSdefines('toolbar');
11024a33b42SAndreas Gohr            js_runonstart("initToolbar('tool__bar','wiki__text',toolbar)");
11178a6aeb1SAndreas Gohr
11278a6aeb1SAndreas Gohr            // add pageleave check
11378a6aeb1SAndreas Gohr            js_runonstart("initChangeCheck('".js_escape($lang['notsavedyet'])."')");
11478a6aeb1SAndreas Gohr
11578a6aeb1SAndreas Gohr            // add lock timer
116ee4c4a1bSAndreas Gohr            js_runonstart("locktimer.init(".($conf['locktime'] - 60).",'".js_escape($lang['willexpire'])."',".$conf['usedraft'].")");
11778a6aeb1SAndreas Gohr
11878a6aeb1SAndreas Gohr            // load spell checker
11978a6aeb1SAndreas Gohr            if($conf['spellchecker']){
12078a6aeb1SAndreas Gohr                js_runonstart("ajax_spell.init('".
12178a6aeb1SAndreas Gohr                               js_escape($lang['spell_start'])."','".
12278a6aeb1SAndreas Gohr                               js_escape($lang['spell_stop'])."','".
12378a6aeb1SAndreas Gohr                               js_escape($lang['spell_wait'])."','".
12478a6aeb1SAndreas Gohr                               js_escape($lang['spell_noerr'])."','".
12578a6aeb1SAndreas Gohr                               js_escape($lang['spell_nosug'])."','".
12678a6aeb1SAndreas Gohr                               js_escape($lang['spell_change'])."')");
12778a6aeb1SAndreas Gohr            }
12878a6aeb1SAndreas Gohr        }
12978a6aeb1SAndreas Gohr    }
13078a6aeb1SAndreas Gohr
13178a6aeb1SAndreas Gohr    // load plugin scripts (suppress warnings for missing ones)
13278a6aeb1SAndreas Gohr    foreach($plugins as $plugin){
133a531dd93SAndreas Gohr        echo "\n\n/* XXXXXXXXXX begin of $file XXXXXXXXXX */\n\n";
13478a6aeb1SAndreas Gohr        @readfile($plugin);
135a531dd93SAndreas Gohr        echo "\n\n/* XXXXXXXXXX end of $file XXXXXXXXXX */\n\n";
13678a6aeb1SAndreas Gohr    }
13778a6aeb1SAndreas Gohr
13878a6aeb1SAndreas Gohr    // load user script
13978a6aeb1SAndreas Gohr    @readfile(DOKU_CONF.'userscript.js');
14078a6aeb1SAndreas Gohr
141b1112787SBen Coburn    // add scroll event and tooltip rewriting
142b1112787SBen Coburn    js_runonstart('updateAccessKeyTooltip()');
14350835be7SAndreas Gohr    js_runonstart('scrollToMarker()');
1448d975344SAndreas Gohr    js_runonstart('focusMarker()');
14500540a38SAndreas Gohr
146*5cafff96SAndreas Gohr/*    // initialize init pseudo event
147b1a4fe22SAndreas Gohr    echo 'if (document.addEventListener) {'.NL;
148b1a4fe22SAndreas Gohr    echo '    document.addEventListener("DOMContentLoaded", window.fireoninit, null);'.NL;
149b1a4fe22SAndreas Gohr    echo '}'.NL;
150*5cafff96SAndreas Gohr    echo 'addEvent(window,"load",window.fireoninit);'.NL;*/
15100540a38SAndreas Gohr
15278a6aeb1SAndreas Gohr    // end output buffering and get contents
15378a6aeb1SAndreas Gohr    $js = ob_get_contents();
15478a6aeb1SAndreas Gohr    ob_end_clean();
15578a6aeb1SAndreas Gohr
15678a6aeb1SAndreas Gohr    // compress whitespace and comments
15778a6aeb1SAndreas Gohr    if($conf['compress']){
15878a6aeb1SAndreas Gohr        $js = js_compress($js);
15978a6aeb1SAndreas Gohr    }
16078a6aeb1SAndreas Gohr
16178a6aeb1SAndreas Gohr    // save cache file
16278a6aeb1SAndreas Gohr    io_saveFile($cache,$js);
16378a6aeb1SAndreas Gohr
16478a6aeb1SAndreas Gohr    // finally send output
16578a6aeb1SAndreas Gohr    print $js;
16678a6aeb1SAndreas Gohr}
16778a6aeb1SAndreas Gohr
16878a6aeb1SAndreas Gohr/**
16978a6aeb1SAndreas Gohr * Checks if a JavaScript Cache file still is valid
17078a6aeb1SAndreas Gohr *
17178a6aeb1SAndreas Gohr * @author Andreas Gohr <andi@splitbrain.org>
17278a6aeb1SAndreas Gohr */
17378a6aeb1SAndreas Gohrfunction js_cacheok($cache,$files){
17478a6aeb1SAndreas Gohr    $ctime = @filemtime($cache);
17578a6aeb1SAndreas Gohr    if(!$ctime) return false; //There is no cache
17678a6aeb1SAndreas Gohr
17778a6aeb1SAndreas Gohr    // some additional files to check
178c591aabeSAndreas Gohr    $files[] = DOKU_CONF.'dokuwiki.php';
179c591aabeSAndreas Gohr    $files[] = DOKU_CONF.'local.php';
18078a6aeb1SAndreas Gohr    $files[] = DOKU_CONF.'userscript.js';
18178a6aeb1SAndreas Gohr    $files[] = __FILE__;
18278a6aeb1SAndreas Gohr
18378a6aeb1SAndreas Gohr    // now walk the files
18478a6aeb1SAndreas Gohr    foreach($files as $file){
18578a6aeb1SAndreas Gohr        if(@filemtime($file) > $ctime){
18678a6aeb1SAndreas Gohr            return false;
18778a6aeb1SAndreas Gohr        }
18878a6aeb1SAndreas Gohr    }
18978a6aeb1SAndreas Gohr    return true;
19078a6aeb1SAndreas Gohr}
19178a6aeb1SAndreas Gohr
19278a6aeb1SAndreas Gohr/**
19378a6aeb1SAndreas Gohr * Returns a list of possible Plugin Scripts (no existance check here)
19478a6aeb1SAndreas Gohr *
19578a6aeb1SAndreas Gohr * @author Andreas Gohr <andi@splitbrain.org>
19678a6aeb1SAndreas Gohr */
19778a6aeb1SAndreas Gohrfunction js_pluginscripts(){
19878a6aeb1SAndreas Gohr    $list = array();
19978a6aeb1SAndreas Gohr    $plugins = plugin_list();
20078a6aeb1SAndreas Gohr    foreach ($plugins as $p){
20178a6aeb1SAndreas Gohr        $list[] = DOKU_PLUGIN."$p/script.js";
20278a6aeb1SAndreas Gohr    }
20378a6aeb1SAndreas Gohr    return $list;
20478a6aeb1SAndreas Gohr}
20578a6aeb1SAndreas Gohr
20678a6aeb1SAndreas Gohr/**
20778a6aeb1SAndreas Gohr * Escapes a String to be embedded in a JavaScript call, keeps \n
20878a6aeb1SAndreas Gohr * as newline
20978a6aeb1SAndreas Gohr *
21078a6aeb1SAndreas Gohr * @author Andreas Gohr <andi@splitbrain.org>
21178a6aeb1SAndreas Gohr */
21278a6aeb1SAndreas Gohrfunction js_escape($string){
21378a6aeb1SAndreas Gohr    return str_replace('\\\\n','\\n',addslashes($string));
21478a6aeb1SAndreas Gohr}
21578a6aeb1SAndreas Gohr
21678a6aeb1SAndreas Gohr/**
21778a6aeb1SAndreas Gohr * Adds the given JavaScript code to the window.onload() event
21878a6aeb1SAndreas Gohr *
21978a6aeb1SAndreas Gohr * @author Andreas Gohr <andi@splitbrain.org>
22078a6aeb1SAndreas Gohr */
22178a6aeb1SAndreas Gohrfunction js_runonstart($func){
222b1a4fe22SAndreas Gohr    echo "addInitEvent(function(){ $func; });".NL;
22378a6aeb1SAndreas Gohr}
22478a6aeb1SAndreas Gohr
22578a6aeb1SAndreas Gohr/**
22678a6aeb1SAndreas Gohr * Strip comments and whitespaces from given JavaScript Code
22778a6aeb1SAndreas Gohr *
22878a6aeb1SAndreas Gohr * This is a rewrite of Nick Galbreaths python tool jsstrip.py which is
22978a6aeb1SAndreas Gohr * released under BSD license. See link for original code.
23078a6aeb1SAndreas Gohr *
23178a6aeb1SAndreas Gohr * @author Nick Galbreath <nickg@modp.com>
23278a6aeb1SAndreas Gohr * @author Andreas Gohr <andi@splitbrain.org>
23378a6aeb1SAndreas Gohr * @link http://modp.com/release/jsstrip/
23478a6aeb1SAndreas Gohr */
23578a6aeb1SAndreas Gohrfunction js_compress($s){
23678a6aeb1SAndreas Gohr    $i = 0;
23778a6aeb1SAndreas Gohr    $line = 0;
23878a6aeb1SAndreas Gohr    $s .= "\n";
23978a6aeb1SAndreas Gohr    $len = strlen($s);
24078a6aeb1SAndreas Gohr
24178a6aeb1SAndreas Gohr    // items that don't need spaces next to them
24245be45c5SAndreas Gohr    $chars = '^&|!+\-*\/%=\?:;,{}()<>% \t\n\r';
24378a6aeb1SAndreas Gohr
24478a6aeb1SAndreas Gohr    ob_start();
24578a6aeb1SAndreas Gohr    while($i < $len){
24678a6aeb1SAndreas Gohr        $ch = $s{$i};
24778a6aeb1SAndreas Gohr
248*5cafff96SAndreas Gohr        // multiline comments (keeping IE conditionals)
249*5cafff96SAndreas Gohr        if($ch == '/' && $s{$i+1} == '*' && $s{$i+2} != '@'){
25078a6aeb1SAndreas Gohr            $endC = strpos($s,'*/',$i+2);
25178a6aeb1SAndreas Gohr            if($endC === false) trigger_error('Found invalid /*..*/ comment', E_USER_ERROR);
25278a6aeb1SAndreas Gohr            $i = $endC + 2;
25378a6aeb1SAndreas Gohr            continue;
25478a6aeb1SAndreas Gohr        }
25578a6aeb1SAndreas Gohr
25678a6aeb1SAndreas Gohr        // singleline
25778a6aeb1SAndreas Gohr        if($ch == '/' && $s{$i+1} == '/'){
25878a6aeb1SAndreas Gohr            $endC = strpos($s,"\n",$i+2);
25978a6aeb1SAndreas Gohr            if($endC === false) trigger_error('Invalid comment', E_USER_ERROR);
26078a6aeb1SAndreas Gohr            $i = $endC;
26178a6aeb1SAndreas Gohr            continue;
26278a6aeb1SAndreas Gohr        }
26378a6aeb1SAndreas Gohr
26478a6aeb1SAndreas Gohr        // tricky.  might be an RE
26578a6aeb1SAndreas Gohr        if($ch == '/'){
26678a6aeb1SAndreas Gohr            // rewind, skip white space
26778a6aeb1SAndreas Gohr            $j = 1;
26878a6aeb1SAndreas Gohr            while($s{$i-$j} == ' '){
26978a6aeb1SAndreas Gohr                $j = $j + 1;
27078a6aeb1SAndreas Gohr            }
27178a6aeb1SAndreas Gohr            if( ($s{$i-$j} == '=') || ($s{$i-$j} == '(') ){
27278a6aeb1SAndreas Gohr                // yes, this is an re
27378a6aeb1SAndreas Gohr                // now move forward and find the end of it
27478a6aeb1SAndreas Gohr                $j = 1;
27578a6aeb1SAndreas Gohr                while($s{$i+$j} != '/'){
27678a6aeb1SAndreas Gohr                    while( ($s{$i+$j} != '\\') && ($s{$i+$j} != '/')){
27778a6aeb1SAndreas Gohr                        $j = $j + 1;
27878a6aeb1SAndreas Gohr                    }
27978a6aeb1SAndreas Gohr                    if($s{$i+$j} == '\\') $j = $j + 2;
28078a6aeb1SAndreas Gohr                }
28178a6aeb1SAndreas Gohr                echo substr($s,$i,$j+1);
28278a6aeb1SAndreas Gohr                $i = $i + $j + 1;
28378a6aeb1SAndreas Gohr                continue;
28478a6aeb1SAndreas Gohr            }
28578a6aeb1SAndreas Gohr        }
28678a6aeb1SAndreas Gohr
28778a6aeb1SAndreas Gohr        // double quote strings
28878a6aeb1SAndreas Gohr        if($ch == '"'){
28978a6aeb1SAndreas Gohr            $j = 1;
29045be45c5SAndreas Gohr            while( $s{$i+$j} != '"' && ($i+$j < $len)){
29145be45c5SAndreas Gohr                if( $s{$i+$j} == '\\' && $s{$i+$j+1} == '"' ){
29245be45c5SAndreas Gohr                    $j += 2;
29345be45c5SAndreas Gohr                }else{
29445be45c5SAndreas Gohr                    $j += 1;
29578a6aeb1SAndreas Gohr                }
29678a6aeb1SAndreas Gohr            }
29778a6aeb1SAndreas Gohr            echo substr($s,$i,$j+1);
29878a6aeb1SAndreas Gohr            $i = $i + $j + 1;
29978a6aeb1SAndreas Gohr            continue;
30078a6aeb1SAndreas Gohr        }
30178a6aeb1SAndreas Gohr
30278a6aeb1SAndreas Gohr        // single quote strings
30378a6aeb1SAndreas Gohr        if($ch == "'"){
30478a6aeb1SAndreas Gohr            $j = 1;
30545be45c5SAndreas Gohr            while( $s{$i+$j} != "'" && ($i+$j < $len)){
30645be45c5SAndreas Gohr                if( $s{$i+$j} == '\\' && $s{$i+$j+1} == "'" ){
30745be45c5SAndreas Gohr                    $j += 2;
30845be45c5SAndreas Gohr                }else{
30945be45c5SAndreas Gohr                    $j += 1;
31078a6aeb1SAndreas Gohr                }
31178a6aeb1SAndreas Gohr            }
31278a6aeb1SAndreas Gohr            echo substr($s,$i,$j+1);
31378a6aeb1SAndreas Gohr            $i = $i + $j + 1;
31478a6aeb1SAndreas Gohr            continue;
31578a6aeb1SAndreas Gohr        }
31678a6aeb1SAndreas Gohr
31778a6aeb1SAndreas Gohr        // newlines
31878a6aeb1SAndreas Gohr        if($ch == "\n" || $ch == "\r"){
31978a6aeb1SAndreas Gohr            $i = $i+1;
32078a6aeb1SAndreas Gohr            continue;
32178a6aeb1SAndreas Gohr        }
32278a6aeb1SAndreas Gohr
32378a6aeb1SAndreas Gohr        // leading spaces
32478a6aeb1SAndreas Gohr        if( ( $ch == ' ' ||
32578a6aeb1SAndreas Gohr              $ch == "\n" ||
32678a6aeb1SAndreas Gohr              $ch == "\t" ) &&
32778a6aeb1SAndreas Gohr            !preg_match('/['.$chars.']/',$s{$i+1}) ){
32878a6aeb1SAndreas Gohr            $i = $i+1;
32978a6aeb1SAndreas Gohr            continue;
33078a6aeb1SAndreas Gohr        }
33178a6aeb1SAndreas Gohr
33278a6aeb1SAndreas Gohr        // trailing spaces
33378a6aeb1SAndreas Gohr        if( ( $ch == ' ' ||
33478a6aeb1SAndreas Gohr              $ch == "\n" ||
33578a6aeb1SAndreas Gohr              $ch == "\t" ) &&
33678a6aeb1SAndreas Gohr            !preg_match('/['.$chars.']/',$s{$i-1}) ){
33778a6aeb1SAndreas Gohr            $i = $i+1;
33878a6aeb1SAndreas Gohr            continue;
33978a6aeb1SAndreas Gohr        }
34078a6aeb1SAndreas Gohr
34178a6aeb1SAndreas Gohr        // other chars
34278a6aeb1SAndreas Gohr        echo $ch;
34378a6aeb1SAndreas Gohr        $i = $i + 1;
34478a6aeb1SAndreas Gohr    }
34578a6aeb1SAndreas Gohr
34678a6aeb1SAndreas Gohr
34778a6aeb1SAndreas Gohr    $out = ob_get_contents();
34878a6aeb1SAndreas Gohr    ob_end_clean();
34978a6aeb1SAndreas Gohr    return $out;
35078a6aeb1SAndreas Gohr}
35178a6aeb1SAndreas Gohr
35278a6aeb1SAndreas Gohr//Setup VIM: ex: et ts=4 enc=utf-8 :
35378a6aeb1SAndreas Gohr?>
354