dokuwiki-geshi.patch

   1 --- dokuwiki-2007-06-26b/inc/parserutils.php    2007-06-26 21:27:15.000000000 +0300
   2 +++ dokuwiki/inc/parserutils.php        2007-11-29 11:47:57.797811307 +0200
   3 @@ -585,16 +585,16 @@
   4    $cache = getCacheName($language.$code,".code");
   5
   6    if (@file_exists($cache) && !$_REQUEST['purge'] &&
   7 -     (filemtime($cache) > filemtime(DOKU_INC . 'inc/geshi.php'))) {
   8 +     (filemtime($cache) > filemtime('/usr/share/php/geshi.php'))) {
   9
  10      $highlighted_code = io_readFile($cache, false);
  11      @touch($cache);
  12
  13    } else {
  14
  15 -    require_once(DOKU_INC . 'inc/geshi.php');
  16 +    require_once '/usr/share/php/geshi.php';
  17
  18 -    $geshi = new GeSHi($code, strtolower($language), DOKU_INC . 'inc/geshi');
  19 +    $geshi = new GeSHi($code, strtolower($language));
  20      $geshi->set_encoding('utf-8');
  21      $geshi->enable_classes();
  22      $geshi->set_header_type(GESHI_HEADER_PRE);