');
}
define('PLUGIN_PRE_COLOR_REGEX', '/^(#[0-9a-f]{3}|#[0-9a-f]{6}|[a-z-]+)$/i');
function plugin_pre_convert()
{
if (file_exists(PLUGIN_DIR.'code/codehighlight.php'))
require_once(PLUGIN_DIR.'code/codehighlight.php');
else
die_message('file '.PLUGIN_DIR.'code/codehighlight.php not exist or not readable.');
static $id_number = 0; // プラグインが呼ばれた回数(IDに利用)
$id_number++;
$option = array(
'number' => false, // 行番号を表示する
'nonumber' => false, // 行番号を表示しない
'vervatim' => false, // インライン展開しない
'novervatim' => false, // インライン展開する
'icon' => false, // アイコンを表示する
'noicon' => false, // アイコンを表示しない
'link' => false, // オートリンク 有効
'nolink' => false, // オートリンク 無効
);
$num_of_arg = func_num_args();
$args = func_get_args();
$text = '';
$number = '';
$style = '';
$stylecnt = 0;
$begin = 1;
$end = null;
$a = array();
// オプションを調べる
for ($i = 0;$i < $num_of_arg-1; ++$i) {
if (! _plugin_code_check_argment($args[$i], $option)) {
if (! _plugin_code_get_region($args[$i], $begin, $end)) {
// style
if ($stylecnt == 0) {
$color = $args[$i];
++$stylecnt;
} else {
$bgcolor = $args[$i];
}
}
}
}
if ($stylecnt) {
// Invalid color
foreach(array($color, $bgcolor) as $col){
if ($col != '' && ! preg_match(PLUGIN_PRE_COLOR_REGEX, $col))
return '#pre():Invalid color: '.htmlspecialchars($col).';
'; } if ($color != '' ) { $style = ' style="color:'.$color; if ($bgcolor != '') $style .= ';background-color:'.$bgcolor.'"'; else $style .= '"'; } else { if ($bgcolor != '') $style .= ' style="background-color:'.$bgcolor.'"'; else $style = ''; } } _plugin_code_multiline_argment($args[$num_of_arg-1], $data, $option, $begin, $end); if (isset($data['_error']) && $data['_error'] != '') { return $data['_error']; } $text = $data['data']; $title = $data['title']; if ($end === null) $end = substr_count($text, "\n") + $begin -1; if (PLUGIN_PRE_VERVATIM && ! $option['novervatim'] || $option['vervatim']) { $text = htmlspecialchars($text); } else { $text = make_link($text); } $html = ''.$text.''; if (PLUGIN_PRE_NUMBER && ! $option['nonumber'] || $option['number']) { $number = '
' ._plugin_code_makeNumber($end, $begin).''; $html = '