Habe gerade eben mal alle Plugins aktualisiert im DokuWiki und danach festgestellt, dass rechts in der Seitenleiste nun automatisch ein PDF-Export-Link auftaucht:
Dieser kommt vom Plugin DW2PDF; früher musste man selbst dafür sorgen, irgendwo solch einen Button zu erzeugen, seit DokuWiki „Binky“ vom Dezember 2013 können Plugins auch eigene Buttons in die Pagetools eintragen.
Sehr schön :)
BTW: Wäre schön, wenn DokuWiki die Möglichkeit bieten würde, alle Plugins regelmäßig selbständig zu aktualisieren…