diff options
| author | Chris Smith <chris@jalakai.co.uk> | 2007-09-30 04:10:40 +0200 |
|---|---|---|
| committer | Chris Smith <chris@jalakai.co.uk> | 2007-09-30 04:10:40 +0200 |
| commit | 103c256a6f9161bec0a89e70eb600c84bcb51e50 (patch) | |
| tree | 022946b4decc8d7297552d183280900042a5bd32 /inc/html.php | |
| parent | 25ec097b5237c0e0cffd5c26918898836516aff6 (diff) | |
| download | rpg-103c256a6f9161bec0a89e70eb600c84bcb51e50.tar.gz rpg-103c256a6f9161bec0a89e70eb600c84bcb51e50.tar.bz2 | |
add page_exists function (inc/pageutils.php)
bool page_exists($id, $rev
darcs-hash:20070930021040-d26fc-e3847bfdd20a36154685262eca94211cfd461e83.gz
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">'; |