dokuwiki-geshi.patch

   1 --- dokuwiki/inc/parserutils.php~       2009-11-10 15:25:28.000000000 +0200
   2 +++ dokuwiki/inc/parserutils.php        2009-11-10 15:26:29.134232633 +0200
   3 @@ -641,16 +641,16 @@
   4      $cache = getCacheName($language.$code,".code");
   5      $ctime = @filemtime($cache);
   6      if($ctime && !$_REQUEST['purge'] &&
   7 -            $ctime > filemtime(DOKU_INC.'inc/geshi.php') &&                 // geshi changed
   8 -            $ctime > @filemtime(DOKU_INC.'inc/geshi/'.$language.'.php') &&  // language syntax definition changed
   9 +            $ctime > filemtime('/usr/share/php/geshi.php') &&                 // geshi changed
  10 +            $ctime > @filemtime('/usr/share/php/geshi/'.$language.'.php') &&  // language syntax definition changed
  11              $ctime > filemtime(reset($config_cascade['main']['default']))){ // dokuwiki changed
  12          $highlighted_code = io_readFile($cache, false);
  13
  14      } else {
  15
  16 -        require_once(DOKU_INC . 'inc/geshi.php');
  17 +        require_once '/usr/share/php/geshi.php';
  18
  19 -        $geshi = new GeSHi($code, $language, DOKU_INC . 'inc/geshi');
  20 +        $geshi = new GeSHi($code, $language);
  21          $geshi->set_encoding('utf-8');
  22          $geshi->enable_classes();
  23          $geshi->set_header_type(GESHI_HEADER_PRE);