dokuwiki-geshi.patch

   1 --- dokuwiki-rc2009-01-26/inc/parserutils.php~  2009-01-27 12:53:30.000000000 +0200
   2 +++ dokuwiki-rc2009-01-26/inc/parserutils.php   2009-01-27 12:56:10.256418763 +0200
   3 @@ -640,16 +640,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);