diff --git a/lib/plugins/revert/admin.php b/lib/plugins/revert/admin.php index 00f7632c3b6c56702f73243dec98f36d465de902..b24b1ff6ea31892876157e84910ff38050206248 100644 --- a/lib/plugins/revert/admin.php +++ b/lib/plugins/revert/admin.php @@ -31,7 +31,7 @@ class admin_plugin_revert extends DokuWiki_Admin_Plugin { return array( 'author' => 'Andreas Gohr', 'email' => 'andi@splitbrain.org', - 'date' => '2008-05-94', + 'date' => '2008-12-10', 'name' => 'Revert Manager', 'desc' => 'Allows you to mass revert recent edits', 'url' => 'http://dokuwiki.org/plugin:revert', @@ -175,7 +175,7 @@ class admin_plugin_revert extends DokuWiki_Admin_Plugin { echo "<img $att />"; echo '</a> '; - echo html_wikilink(':'.$recent['id'],$conf['useheading']?NULL:$recent['id']); + echo html_wikilink(':'.$recent['id'],(useHeading('navigation'))?NULL:$recent['id']); echo ' – '.htmlspecialchars($recent['sum']); echo ' <span class="user">';