Trac 0.11.x で Wiki ページにメニューを付ける

0.11に移行後、サイドメニューが表示されない。 - 日記、trac にサイドメニューを付けてみる - 記憶は削除の方向でを読んで、「そういえば PukiWiki のメニューバーみたいなの*1をやってみよう」としてたのを思い出しました。
ということで Trac 0.11.x/Genshi でやってみました。

1. wiki_view.html を用意する

/usr/lib/python2.3/site-packages/trac/wiki/templates/wiki_view.html みたいなところにありますので、このファイルを ${TRAC_ENV}/templates/wiki_view.html にコピーします。
コピーしたら ↓ の差分を追加します。

--- wiki_view.html.orig	2008-08-07 02:29:02.000000000 +0900
+++ wiki_view.html	2008-09-05 20:33:21.000000000 +0900
@@ -34,6 +34,13 @@

       <div class="wikipage searchable" py:choose="" xml:space="preserve">
         <py:when test="page.exists" xml:space="preserve">
+          <py:if test="page.name != 'Menu'">
+            <py:with vars="page_menu = page.__class__(page.env, 'Menu')">
+              <py:if test="page_menu.exists">
+                <div class="wiki-toc">
+                  ${wiki_to_html(context, page_menu.text)}
+                </div>
+              </py:if>
+            </py:with>
+          </py:if>
           ${wiki_to_html(context, page.text)}
         </py:when>
         <py:otherwise>