add pdf and odt exports to new skin as well

diff --git a/more-buttons.patch b/more-buttons.patch
index 6a2401ea7fd6a80d9b015e3e316d7c4c9b3b836f..f634aaaa0c23a5660b6b9b3c12b91c5dfb0b7b7a 100644 (file)
--- a/more-buttons.patch
+++ b/more-buttons.patch
@@ -41,3 +41,24 @@
          <?php tpl_button('recent')?>
          <?php tpl_searchform()?>&nbsp;
        </div>
+--- dokuwiki/lib/tpl/dokuwiki/tpl_header.php~  2012-09-01 22:54:08.000000000 +0300
++++ dokuwiki/lib/tpl/dokuwiki/tpl_header.php   2012-09-01 22:54:16.816853164 +0300
+@@ -64,6 +64,18 @@
+             </div>
+             <ul>
+                 <?php
++                    if (!plugin_isdisabled('html2pdf') || !plugin_isdisabled('dw2pdf')) {
++                        echo '<li>';
++                        tpl_link(wl($ID, 'do=export_pdf'), '<span>PDF Export</span>', 'class="action html2pdf"');
++                        echo '</li>';
++                    }
++
++                    if (!plugin_isdisabled('odt')) {
++                        echo '<li>';
++                        tpl_link(wl($ID, 'do=export_odt'), '<span>ODT Export</span>', 'class="action odt"');
++                        echo '</li>';
++                    }
++
+                     tpl_action('recent', 1, 'li');
+                     tpl_action('media', 1, 'li');
+                     tpl_action('index', 1, 'li');