| 1 |
<?php |
<?php |
| 2 |
// $Id: geshifilter.inc,v 1.6 2009/07/04 09:48:59 soxofaan Exp $ |
// $Id: geshifilter.inc,v 1.7 2009/07/04 11:05:56 soxofaan Exp $ |
| 3 |
|
|
| 4 |
/** |
/** |
| 5 |
* @file |
* @file |
| 50 |
} |
} |
| 51 |
else { |
else { |
| 52 |
$geshi_library['success'] = FALSE; |
$geshi_library['success'] = FALSE; |
| 53 |
$geshi_library['message'] = t('GeSHi library error: Could not find a known version of the GeSHi library at %dir.' , array('%dir' => $geshi_dir)); |
$geshi_library['message'] = t('GeSHi library error: Could not find a known version of the GeSHi library in directory %dir.' , array('%dir' => $geshi_dir)); |
| 54 |
} |
} |
| 55 |
// store in cache if needed |
// store in cache if needed |
| 56 |
if ($use_cache) { |
if ($use_cache) { |