* <2012/10/15 00:00:00 acompass.net> K1
*
* GPL
*
* r 0.6.0_pr3
* K1 : Add option width. Usage width:400
*/
define('PLUGIN_CODE_LANGUAGE', 'pre'); // 標準言語 全て小文字で指定
// 標準設定
define('PLUGIN_CODE_NUMBER', 1); // 行番号
define('PLUGIN_CODE_FOLD', 1); // アウトライン
define('PLUGIN_CODE_FOLDBLOCK', 1); // ブロック開閉
define('PLUGIN_CODE_FOLDLITERAL', 1); // 文字列開閉
define('PLUGIN_CODE_FOLDCOMMENT', 1); // コメント開閉
define('PLUGIN_CODE_MENU', 1); // メニューの表示/非表示;
define('PLUGIN_CODE_FILE_ICON', 1); // 添付ファイルにダウンロードアイコンを付ける
define('PLUGIN_CODE_LINK', 1); // オートリンク
define('PLUGIN_CODE_CACHE', 0); // キャッシュを使う
// URLで指定したファイルを読み込むか否か
define('PLUGIN_CODE_READ_URL', 0);
// テーブルを使うか否か(0はCSSのdivによる分割)
define('PLUGIN_CODE_TABLE', 1);
// TAB幅
define('PLUGIN_CODE_WIDTHOFTAB', ' ');
// 画像ファイルの設定
define('PLUGIN_CODE_IMAGE_FILE', IMAGE_DIR.'code_dot.png');
define('PLUGIN_CODE_OUTLINE_OPEN_FILE', IMAGE_DIR.'code_outline_open.png');
define('PLUGIN_CODE_OUTLINE_CLOSE_FILE', IMAGE_DIR.'code_outline_close.png');
// plugin pre
define('PLUGIN_PRE_NUMBER', 0); // 行番号
define('PLUGIN_PRE_VERVATIM_HARD', 1); // インライン展開をしない
define('PLUGIN_PRE_FILE_ICON', 1); // 添付ファイルにダウンロードアイコンを付ける
define('PLUGIN_CODE_HEADER', 'code_');
define('PLUGIN_PRE_HEADER', 'pre_');
define('PLUGIN_PRE_COLOR_REGEX', '/^(#[0-9a-f]{3}|#[0-9a-f]{6}|[a-z-]+)$/i');
if (! defined('FILE_ICON')) {
define('FILE_ICON',
'
');
}
define('PLUGIN_CODE_USAGE',
'Plugin code: Usage:
#code[(Lang)]{{
src
}}
');
define('PLUGIN_CODE_CONFIG_PAGE_MIME', 'plugin/code/mimetype');
define('PLUGIN_CODE_CONFIG_PAGE_EXTENSION', 'plugin/code/extension');
function pluing_code_init()
{
global $javascript; $javascript = 1;
}
function plugin_code_action()
{
global $vars;
global $_source_messages;
if (PKWK_SAFE_MODE) die_message('PKWK_SAFE_MODE prohibits this');
$vars['refer'] = $vars['page'];
if (! is_page($vars['page']) || ! check_readable($vars['page'],0,0)) {
return array( 'msg' => $_source_messages['msg_notfound'],
'body' => $_source_messages['err_notfound'] );
}
return array( 'msg' => $_source_messages['msg_title'],
'body' => plugin_code_convert('pukiwiki',
join('',get_source($vars['page']))."\n"));
}
function plugin_code_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 $plugin_code_jscript_flag = 1;
$title = '';
$lang = null;
$option = array(
'number' => 0, // 行番号を表示する
'nonumber' => 0, // 行番号を表示しない
'outline' => 0, // アウトライン モード
'nooutline' => 0, // アウトライン 無効
'block' => 0, // アウトライン ブロック
'noblock' => 0, // アウトライン ブロック
'literal' => 0, // アウトライン 文字列
'noliteral' => 0, // アウトライン 文字列
'comment' => 0, // アウトライン コメント
'nocomment' => 0, // アウトライン コメント
'menu' => 0, // メニューを表示する
'nomenu' => 0, // メニューを表示しない
'icon' => 0, // アイコンを表示する
'noicon' => 0, // アイコンを表示しない
'link' => 0, // オートリンク 有効
'nolink' => 0, // オートリンク 無効
);
$num_of_arg = func_num_args();
$args = func_get_args();
if ($num_of_arg < 1) {
return PLUGIN_CODE_USAGE;
}
$arg = $args[$num_of_arg-1];
if (strlen($arg) == 0) {
return PLUGIN_CODE_USAGE;
}
if ($num_of_arg != 1 && ! _plugin_code_check_argment($args[0], $option))
$lang = htmlspecialchars(strtolower($args[0])); // 言語名かオプションの判定
$begin = 1;
$end = null;
// オプションを調べる
for ($i = 1;$i < $num_of_arg-1; ++$i) {
if (! _plugin_code_check_argment($args[$i], $option))
_plugin_code_get_region($args[$i], $end, $begin);
}
$multiline = _plugin_code_multiline_argment($arg, $data, $lang, $option, $end, $begin);
if (PLUGIN_CODE_CACHE && ! $multiline) {
$html = _plugin_code_read_cache($arg);
if ($html != '' or $html != null)
return $html;
}
if (isset($data['_error']) && $data['_error'] != '') {
return $data['_error'];
}
$lines = $data['data'];
$title = $data['title'];
$highlight = new CodeHighlight;
$lines = $highlight->highlight($lang, $lines, $option, $end, $begin);
$lines = ''.$lines.'
';
if ($plugin_code_jscript_flag && $option['outline']) {
$plugin_code_jscript_flag = 0;
$title .= ''."\n";
}
$html = $title.$lines;
if (PLUGIN_CODE_CACHE && ! $multiline) {
_plugin_code_write_cache($arg, $html);
}
return $html;
}
/**
* キャッシュに書き込む
* 引数は添付ファイル名, HTML変換後のファイル
*/
function _plugin_code_write_cache($fname, $html)
{
global $vars;
// 添付ファイルのあるページ: defaultは現在のページ名
$page = isset($vars['page']) ? $vars['page'] : '';
// ファイル名にページ名(ページ参照パス)が合成されているか
// (Page_name/maybe-separated-with/slashes/ATTACHED_FILENAME)
if (preg_match('#^(.+)/([^/]+)$#', $fname, $matches)) {
if ($matches[1] == '.' || $matches[1] == '..')
$matches[1] .= '/'; // Restore relative paths
$fname = $matches[2];
$page = get_fullname(strip_bracket($matches[1]), $page); // strip is a compat
$file = encode($page) . '_' . encode($fname);
} else {
// Simple single argument
$file = encode($page) . '_' . encode($fname);
}
$fp = fopen(CACHE_DIR.'code/'.$file.'.html', 'w') or
die_message('Cannot write cache file ' .
CACHE_DIR.'code/'. $file .'.html'.
'
Maybe permission is not writable or filename is too long');
set_file_buffer($fp, 0);
flock($fp, LOCK_EX);
rewind($fp);
fputs($fp, $html);
flock($fp, LOCK_UN);
fclose($fp);
}
/**
* キャッシュを読み出す
* 引数は添付ファイル名
* 変換されたファイルデータを返す
*/
function _plugin_code_read_cache($fname)
{
global $vars;
// 添付ファイルのあるページ: defaultは現在のページ名
$page = isset($vars['page']) ? $vars['page'] : '';
// ファイル名にページ名(ページ参照パス)が合成されているか
// (Page_name/maybe-separated-with/slashes/ATTACHED_FILENAME)
if (preg_match('#^(.+)/([^/]+)$#', $fname, $matches)) {
if ($matches[1] == '.' || $matches[1] == '..')
$matches[1] .= '/'; // Restore relative paths
$fname = $matches[2];
$page = get_fullname(strip_bracket($matches[1]), $page); // strip is a compat
$file = encode($page) . '_' . encode($fname);
} else {
// Simple single argument
$file = encode($page) . '_' . encode($fname);
}
/* Read file data */
$fdata = '';
$filelines = file(CACHE_DIR.'code/'.$file.'.html');
foreach ($filelines as $line)
$fdata .= $line;
return $fdata;
}
/**
* 整形済出力
* @author sky
*
* Code.inc.php Ver. 0.5
*/
function plugin_pre_convert()
{
static $id_number = 0; // プラグインが呼ばれた回数(IDに利用)
$id_number++;
$option = array(
'number' => 0, // 行番号を表示する
'nonumber' => 0, // 行番号を表示しない
'hard' => 0, // インライン展開しない
'soft' => 0, // インライン展開する
'icon' => 0, // アイコンを表示する
'noicon' => 0, // アイコンを表示しない
'link' => 0, // オートリンク 有効
'nolink' => 0, // オートリンク 無効
);
$num_of_arg = func_num_args();
$args = func_get_args();
$text = '';
$number = '';
$style = '';
$stylecnt = 0;
$begin = 1;
$end = null;
$lang = null;
$a = array();
$width = ''; // K1
$nonumwidth = ''; // K1
$numwidth = ''; // K1
// オプションを調べる
for ($i = 0;$i < $num_of_arg-1; ++$i) {
if (! _plugin_code_check_argment($args[$i], $option)) {
if (! _plugin_code_get_region($args[$i], $end, $begin)) {
if (_plugin_code_get_width($args[$i], $width) === 1) { // K1
return( $width ); // K1
} // K1
if ( $width === '' ){ // K1
// style
if ($stylecnt == 0) {
$color = $args[$i];
++$stylecnt;
} else {
$bgcolor = $args[$i];
} // K1
}
}
}
}
if (PLUGIN_PRE_NUMBER && ! $option['nonumber'] || $option['number']) { // K1
$numwidth = ' style="'.$width.'"'; // K1
} else { // K1
$nonumwidth = $width; // K1
} // K1
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="'.$nonumwidth.'color:'.$color; // K1
if ($bgcolor != '')
$style .= ';background-color:'.$bgcolor.'"';
else
$style .= '"';
} else {
if ($bgcolor != '')
$style .= ' style="'.$nonumwidth.'background-color:'.$bgcolor.'"'; // K1
else
$style = '';
}
}
_plugin_code_multiline_argment($args[$num_of_arg-1], $data, $lang, $option, $end, $begin);
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_HARD && ! $option['soft'] || $option['hard']) {
$text = htmlspecialchars($text);
} else {
$text = make_link($text);
}
$html = ''.$text.'
';
if (PLUGIN_PRE_NUMBER && ! $option['nonumber'] || $option['number']) {
$number = '';
$html = '';
}
return $title.$html;
}
/* pre.inc.php と共用 */
/**
* 最終引数を解析する
* 引数はプラグインへの最後の引数の内容
* 複数行引数の場合に真を返す
*/
function _plugin_code_multiline_argment(& $arg, & $data, & $lang, & $option, $end = null, $begin = 1)
{
// 改行コード変換
$arg = str_replace("\r\n", "\n", $arg);
$arg = strtr($arg,"\r", "\n");
$data['title'] = '';
// 最後の文字が改行でない場合は外部ファイル
if ($arg[strlen($arg)-1] != "\n") {
// 言語自動判定
if ($lang === null)
$lang = _plugin_code_extension($arg);
if ($lang === null)
if (_plugin_code_mimetype($arg)) {
$data['_error'] = 'Maybe file extension like binary. '.htmlspecialchars($arg).';
';
return 0;
} else {
$lang = PLUGIN_CODE_LANGUAGE;
}
$params = _plugin_code_read_file_data($arg, $end, $begin);
if (isset($params['_error']) && $params['_error'] != '') {
$data['_error'] = ''.$params['_error'].';
';
return 0;
}
$data['data'] = $params['data'];
if ($data['data'] == "\n" || $data['data'] == '' || $data['data'] == null) {
$data['_error'] ='file '.htmlspecialchars($params['title']).' is empty.
';
return 0;
}
if (PLUGIN_CODE_FILE_ICON && !$option['noicon'] || $option['icon']) $icon = FILE_ICON;
else $icon = '';
$data['title'] = ''."\n";
}
else {
$data['data'] = $arg;
return 1;
}
return 0;
}
/**
* バイナリファイルの拡張子を検索する
*
*/
function _plugin_code_mimetype($name)
{
$extension = strtolower(substr($name, strrpos($name, '.')+1));
if (!$extension) return null;
// mime-type一覧表を取得
$config = new Config(PLUGIN_CODE_CONFIG_PAGE_MIME);
$table = $config->read() ? $config->get('mime-type') : array();
unset($config); // メモリ節約
foreach ($table as $row) {
$_type = trim($row[0]);
$exts = preg_split('/\s+|,/', trim($row[1]), -1, PREG_SPLIT_NO_EMPTY);
foreach ($exts as $ext) {
if ($extension == $ext) return 1;
}
}
return 0;
}
/**
* ファイル名から対応言語を検索する
*
*/
function _plugin_code_extension($name)
{
//$lang = PLUGIN_CODE_LANGUAGE; // default
//if (! file_exists($filename)) return $lang;
if (! strncasecmp($name, 'makefile', 8))
return 'make';
$extension = strtolower(substr($name, strrpos($name, '.')+1));
if (!$extension) return null;
// extension 一覧表を取得
$config = new Config(PLUGIN_CODE_CONFIG_PAGE_EXTENSION);
$table = $config->read() ? $config->get('lang') : array();
unset($config); // メモリ節約
// search extension
foreach ($table as $row) {
$_lang = trim($row[0]);
$exts = preg_split('/\s+|,/', trim($row[1]), -1, PREG_SPLIT_NO_EMPTY);
foreach ($exts as $ext) {
if ($extension == $ext) return $_lang;
}
}
return null;
}
/**
* 引数に与えられたファイルの内容を文字列に変換して返す
* 文字コードは PukiWikiと同一, 改行は \n である
*/
function _plugin_code_read_file_data(& $name, $end = null, $begin = 1) {
global $vars;
global $script;
// 添付ファイルのあるページ: defaultは現在のページ名
$page = isset($vars['page']) ? $vars['page'] : '';
// 添付ファイルまでのパスおよび(実際の)ファイル名
$file = '';
$fname = $name;
$is_url = is_url($fname);
/* Check file location */
if ($is_url) { // URL
if (! PLUGIN_CODE_READ_URL || ini_get('allow_url_fopen') != 1) {
$params['_error'] = 'Cannot assign URL';
return $params;
}
$url = htmlspecialchars($fname);
$params['title'] = htmlspecialchars(preg_match('/([^\/]+)$/', $fname, $matches) ? $matches[1] : $url);
} else { // 添付ファイル
if (! is_dir(UPLOAD_DIR)) {
$params['_error'] = 'No UPLOAD_DIR';
return $params;
}
$matches = array();
// ファイル名にページ名(ページ参照パス)が合成されているか
// (Page_name/maybe-separated-with/slashes/ATTACHED_FILENAME)
if (preg_match('#^(.+)/([^/]+)$#', $fname, $matches)) {
if ($matches[1] == '.' || $matches[1] == '..')
$matches[1] .= '/'; // Restore relative paths
$fname = $matches[2];
$page = get_fullname(strip_bracket($matches[1]), $page); // strip is a compat
$file = UPLOAD_DIR . encode($page) . '_' . encode($fname);
$is_file = is_file($file);
} else {
// Simple single argument
$file = UPLOAD_DIR . encode($page) . '_' . encode($fname);
$is_file = is_file($file);
}
if (! $is_file) {
$params['_error'] = htmlspecialchars('File not found: "' .$fname . '" at page "' . $page . '"');
return $params;
}
$params['title'] = htmlspecialchars($fname);
$fname = $file;
$url = $script . '?plugin=attach' . '&refer=' . rawurlencode($page) .
'&openfile=' . rawurlencode($name); // Show its filename at the last
}
$params['url'] = $url;
$params['info'] = get_date('Y/m/d H:i:s', filemtime($file) - LOCALZONE)
. ' ' . sprintf('%01.1f', round(filesize($file)/1024, 1)) . 'KB';
/* Read file data */
$fdata = '';
$filelines = file($fname);
if ($end === null)
$end = count($filelines);
for ($i=$begin-1; $i<$end; ++$i)
$fdata .= str_replace("\r\n", "\n", $filelines[$i]);
$fdata = strtr($fdata, "\r", "\n");
$fdata = mb_convert_encoding($fdata, SOURCE_ENCODING, "auto");
// ファイルの最後を改行にする
if($fdata[strlen($fdata)-1] != "\n")
$fdata .= "\n";
$params['data'] = $fdata;
return $params;
}
/**
* オプション解析
* 引数に対応するキーをOnにする
* キーをセットしたら"1"を返す
*/
function _plugin_code_check_argment(& $arg, & $option) {
$arg = strtolower($arg);
if (isset($option[$arg])) {
$option[$arg] = 1;
return 1;
}
return 0;
}
/**
* 範囲指定を解析
* 呼び出し側の変数を設定する
* 範囲を設定したら"1"を返す
*/
function _plugin_code_get_region(& $option, & $end, & $begin)
{
if (false !== strpos($option, '-')) {
$array = explode('-', $option);
} else if (false !== strpos($option, '..')) {
$array = explode('..', $option);
} else {
return 0;
}
if (is_numeric ($array[0]))
if ($array[0] < 1)
$begin = 1;
else
$begin = $array[0];
else
$begin = 1;
if (is_numeric ($array[1]))
$end = $array[1];
else
$end = null;
return 1;
}
/**
* 行番号を作成する
* 引数は行番号の範囲
* 整形された行番号を返す
*/
function _plugin_code_makeNumber($end, $begin=1)
{
$number='';
$str_len=max(3,strlen(''.$end));
for($i=$begin; $i<=$end; ++$i) {
$number.= sprintf('%'.$str_len.'d',($i))."\n";
}
return $number;
}
/**
* 段組みして出力する
*
* 整形HTMLを返す
*/
function _plugin_code_column(& $text, $number=null, $outline=null)
{
if ($number === null && $outline === null)
return $text;
$html = '';
if (PLUGIN_CODE_TABLE) {
$html .= '';
} else {
if ($number !== null)
$html .= '';
if ($outline !== null)
$html .= '';
$html .= ''
. '
';
}
return $html;
}
/** K1
* width属性を設定する.
* width:400 => width:400px;overflow:auto;
*/
function _plugin_code_get_width(& $option, & $width)
{
$width = '';
if (strncasecmp('width',$option, 5) !== 0 ) {
return 0;
}
$array = explode(':', $option);
if (!is_numeric ($array[1])) {
$width = '#pre():Invalid width value : ['. $array[1] .']
';
return 1;
}
$width = strtolower($option) . 'px;overflow:auto;';
return 0;
}
?>