if (exist_plugin('statichtml') && $is_read) { // PukiWiki Static! $statichtml = new PluginStatichtml(); $htmllink = '<a rel="nofollow" href="' . $statichtml->get_dump_url($vars['page']) . '">HTML</a>'; $publishlink = '<a rel="nofollow" href="' . get_script_uri() . '?cmd=statichtml&page=' . $vars['page'] . '">Publish</a>'; $navi = str_replace('</div>', ' [ ' . $htmllink . ' | ' . $publishlink . ' ] ' . '</div>', $navi); } } break; case 'toolbar': if (exist_plugin_convert('toolbar')) { $navi = do_plugin_convert('toolbar', $toolbar_arg); if (exist_plugin('statichtml') && $is_read) { // PukiWiki Static! $statichtml = new PluginStatichtml(); $htmllink = '<a rel="nofollow" href="' . $statichtml->get_dump_url($vars['page']) . '"><img width="20" height="20" title="HTML" alt="HTML" src="' . IMAGE_URI . 'reload.png" /></a>'; $publishlink = '<a rel="nofollow" href="' . get_script_uri() . '?cmd=statichtml&page=' . $vars['page'] . '"><img width="20" height="20" title="Publish" alt="Publish" src="' . IMAGE_URI . 'copy.png" /></a>'; $navi = str_replace('</div>', $htmllink . $publishlink . '</div>', $navi); } } break; } } // Title if ($is_read) { if ($newtitle) { $display_title = $newtitle . ' - ' . $page_title; $heading_title = make_pagelink($vars['page'], $newtitle); } elseif ($vars['page'] == $defaultpage) { $display_title = $page_title; $heading_title = make_pagelink($vars['page'], $page_title);