check_logfiles: 3.7.5.1
[omd.git] / packages / dokuwiki / patches / 0002-pdflink.patch
blob65d11847a8a78769663b7237598ec7123a37474c
1 diff -ur dokuwiki-2013-05-10a/lib/tpl/arctictut/style.ini dokuwiki-2013-05-10a/lib/tpl/arctictut/style.ini.neu
2 --- a/lib/tpl/arctictut/main.php 2013-09-06 08:05:55.000000000 +0200
3 +++ b/lib/tpl/arctictut/main.php.neu 2013-11-24 22:14:37.000000000 +0100
4 @@ -133,6 +133,7 @@
5 break;
6 case('links'):
7 if(!tpl_getConf('closedwiki') || (tpl_getConf('closedwiki') && isset($_SERVER['REMOTE_USER']))) {
8 + echo '<a href="'.exportlink($ID, 'pdf', "rev=$REV").'" class="action pdf" alt="PDF Export">Export PDF</a>';
9 tpl_actionlink('admin');
10 tpl_actionlink('revert');
11 tpl_actionlink('profile');