diff options
Diffstat (limited to 'lib/plugins/revert/admin.php')
| -rw-r--r-- | lib/plugins/revert/admin.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/plugins/revert/admin.php b/lib/plugins/revert/admin.php index beff10ced..b65472e4c 100644 --- a/lib/plugins/revert/admin.php +++ b/lib/plugins/revert/admin.php @@ -157,7 +157,7 @@ class admin_plugin_revert extends DokuWiki_Admin_Plugin { echo "<img $att />"; echo '</a> '; - echo html_wikilink(':'.$recent['id'],(useHeading('navigation'))?NULL:$recent['id']); + echo html_wikilink(':'.$recent['id'],(useHeading('navigation'))?null:$recent['id']); echo ' – '.htmlspecialchars($recent['sum']); echo ' <span class="user">'; |