<pre>タグの置換

はてな記法っぽく書くと<pre>タグに置換するようにしてたのだけど，実体参照とかいろいろ面倒なので変更した．というかWPの振る舞いがよくわからないなー．勝手に置換されたりされなかったり．気が向いたらちゃんと調べるかなー．過去のログも直さないと酷いことになってるかもなー．んー，プラグインとか全部githubにアップしたものの活用できてない．

function parse_notation($post)
{
        $post = preg_replace("/\(.*?)\<\\\code\>/sim", pre_format("\\1", false), $post);
        return $post;
}
function pre_format($str, $flag = true)
{
        $code = preg_replace("/|/smi", "", $str);
        return '<pre>' : '&gt;'). $code .'<pre>';
}
add_filter('the_content', 'parse_notation', 0);

あれー，普通に<pre>書けばうまくなー．objectタグがかけないんだった．orz