使い方 † jumpto.inc.php を pluginフォルダに入れます。 skin/pukiwiki.skin.php の最初に次の2行('+'が付いた行)を加えてください。 skin/pukiwiki.skin.php: 10行目付近 // PukiWiki default skin + require_once(PLUGIN_DIR . 'jumpto.inc.php'); + $body = plugin_jumpto_replace($body); // ------------------------------------------------------------ // Settings (define before here, if you want) MenuBarでも置換が必要な場合は、続けて下記も変更してください。 skin/pukiwiki.skin.ph