getPluginName() ) ) { $odt_plugin == NULL; } } $pdf_plugin = &plugin_load('action','html2pdf'); if ( $pdf_plugin ) { if ( plugin_isdisabled($pdf_plugin->getPluginName() ) ) { $pdf_plugin == NULL; } } if ( $odt_plugin ) { print '

'.DOKU_LF; print ' '.$lang['export_odt'].''.DOKU_LF; print '

'.DOKU_LF; } if ( $pdf_plugin ) { print '

'.DOKU_LF; print ' '.$lang['export_pdf'].''.DOKU_LF; print '

'.DOKU_LF; } ?>