ソースコードの色分け表示

PukiWiki 1.3 を使っている JAVA 開発メモの JAVA や XML のソースコードを手っ取り早く色分け表示するために google-code-prettify を使ってみた。

pukiwiki.skin.ja.php に JavaScript と CSS を設定。

<link rel="stylesheet" href="skin/prettify.css" type="text/css">
<script language=javascript src="skin/prettify.js"></script>

html.php で pre タグにクラスを設定。

function back_push(&$result,&$saved,$tag, $level)
{
	while (count($saved) > $level) {
		array_push($result, array_shift($saved));
	}
	if ($saved[0] != "</$tag>") {
		$result = array_merge($result,$saved); $saved = array();
	}
	while (count($saved) < $level) {
		array_unshift($saved, "</$tag>");
		
		if ($tag == 'pre') {
			array_push($result, "<$tag class='prettyprint'>");
		} else {
			array_push($result, "<$tag>");
		}
	}
}

これだけ。