1 --- dokuwiki-rc2011-11-10/lib/tpl/default/main.php~ 2012-02-11 15:16:44.000000000 +0200
2 +++ dokuwiki-rc2011-11-10/lib/tpl/default/main.php 2012-02-11 15:17:57.971423003 +0200
4 // must be run from within DokuWiki
5 if (!defined('DOKU_INC')) die();
10 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
11 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
15 <div class="bar-right" id="bar__topright">
17 + if (!plugin_isdisabled('html2pdf') || !plugin_isdisabled('dw2pdf')) { ?>
18 + <form class="button" method="get" action="<?php wl($ID)?>">
20 + <button type="submit" class="button">
21 + <img src="<?php echo DOKU_BASE?>lib/images/fileicons/pdf.png" alt="PDF Export" />
24 + <input type="hidden" name="do" value="export_pdf" />
25 + <input type="hidden" name="id" value="<?php echo $ID?>" />
26 + <input type="hidden" name="rev" value="<?php echo $REV ?>" />
31 + if (!plugin_isdisabled('odt')) { ?>
32 + <form class="button" method="get" action="<?php wl($ID)?>">
34 + <input type="submit" value="Export to ODT" class="button" />
35 + <input type="hidden" name="do" value="export_odt" />
36 + <input type="hidden" name="id" value="<?php echo $ID?>" />
37 + <input type="hidden" name="rev" value="<?php echo $REV ?>" />
41 <?php tpl_button('recent')?>
42 <?php tpl_searchform()?>