dokuwiki-geshi.patch

   1 --- dokuwiki-2008-05-05/inc/parserutils.php~    2008-05-05 21:34:23.000000000 +0300
   2 +++ dokuwiki-2008-05-05/inc/parserutils.php     2008-05-05 21:37:11.549493756 +0300
   3 @@ -642,16 +642,16 @@
   4    $cache = getCacheName($language.$code,".code");
   5    $ctime = @filemtime($cache);
   6    if($ctime && !$_REQUEST['purge'] &&
   7 -     $ctime > filemtime(DOKU_INC.'inc/geshi.php') &&
   8 -     $ctime > @filemtime(DOKU_INC.'inc/geshi/'.$language.'.php') &&
   9 +     $ctime > filemtime('/usr/share/php/geshi.php') &&
  10 +     $ctime > @filemtime('/usr/share/php/geshi/'.$language.'.php') &&
  11       $ctime > filemtime(DOKU_CONF.'dokuwiki.php')){
  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);