| 1 |
<?php |
<?php |
| 2 |
// $Id$ |
// $Id: geshifilter.inc,v 1.4.2.2 2008/05/01 17:01:02 soxofaan Exp $ |
| 3 |
|
|
| 4 |
function _geshifilter_get_geshi_dir() { |
function _geshifilter_get_geshi_dir() { |
| 5 |
return variable_get('geshifilter_geshi_dir', drupal_get_path('module', 'geshifilter') .'/geshi'); |
return variable_get('geshifilter_geshi_dir', drupal_get_path('module', 'geshifilter') .'/geshi'); |
| 45 |
} |
} |
| 46 |
else { |
else { |
| 47 |
$geshi_library['success'] = FALSE; |
$geshi_library['success'] = FALSE; |
| 48 |
$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 at directory %dir.' , array('%dir' => $geshi_dir)); |
| 49 |
} |
} |
| 50 |
// store in cache if needed |
// store in cache if needed |
| 51 |
if ($use_cache) { |
if ($use_cache) { |