diff options
Diffstat (limited to 'inc/parserutils.php')
| -rw-r--r-- | inc/parserutils.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/inc/parserutils.php b/inc/parserutils.php index 468ffe5c6..061704cb3 100644 --- a/inc/parserutils.php +++ b/inc/parserutils.php @@ -492,7 +492,8 @@ function p_get_first_heading($id){ function p_xhtml_cached_geshi($code, $language) { $cache = getCacheName($language.$code,".code"); - if (@file_exists($cache) && !$_REQUEST['purge']) { + if (@file_exists($cache) && !$_REQUEST['purge'] && + (filemtime($cache) > filemtime(DOKU_INC . 'inc/geshi.php'))) { $highlighted_code = io_readFile($cache, false); @touch($cache); |