diff options
Diffstat (limited to 'inc/html.php')
-rw-r--r-- | inc/html.php | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/inc/html.php b/inc/html.php index 74ec1cd64..3c7f8e2b1 100644 --- a/inc/html.php +++ b/inc/html.php @@ -446,9 +446,7 @@ function html_revisions($first=0){ foreach($revisions as $rev){ $date = date($conf['dformat'],$rev); $info = getRevisionInfo($ID,$rev,true); - $exists = @file_exists(wikiFN($ID,$rev)); - - + $exists = page_exists($ID,$rev); print ($info['type']===DOKU_CHANGE_TYPE_MINOR_EDIT) ? '<li class="minor">' : '<li>'; print '<div class="li">'; |