make use of the new useHeading() function in the revert plugin

darcs-hash:20081210174256-7ad00-90a1f8d17c913d0ecabec80c0842a3afb3c667b1.gz

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 ' &ndash; '.htmlspecialchars($recent['sum']);
 
             echo ' <span class="user">';