From 5c93146ab7565d6e2d3c15fd2e71564216883f32 Mon Sep 17 00:00:00 2001
From: Andreas Gohr <andi@splitbrain.org>
Date: Wed, 10 Dec 2008 18:42:56 +0100
Subject: [PATCH] make use of the new useHeading() function in the revert
plugin
darcs-hash:20081210174256-7ad00-90a1f8d17c913d0ecabec80c0842a3afb3c667b1.gz
---
lib/plugins/revert/admin.php | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/lib/plugins/revert/admin.php b/lib/plugins/revert/admin.php
index 00f7632c3..b24b1ff6e 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">';
--
GitLab