diff options
| author | ghi <dokuwiki@imz.re> | 2015-02-17 11:08:15 +0100 |
|---|---|---|
| committer | ghi <dokuwiki@imz.re> | 2015-02-17 11:08:15 +0100 |
| commit | 7d0b7e5ed7aa0f9c56def8f6c9866aa4fc8315b8 (patch) | |
| tree | 08330b0a548a402caeb02ee7a185e745386ad45d /lib/exe/detail.php | |
| parent | d6dc28be40fb3202a3df69458db164e20999ac2b (diff) | |
| parent | f8803275a58a05b29e4029cc539a6f8c60ad2ea5 (diff) | |
| download | rpg-7d0b7e5ed7aa0f9c56def8f6c9866aa4fc8315b8.tar.gz rpg-7d0b7e5ed7aa0f9c56def8f6c9866aa4fc8315b8.tar.bz2 | |
Merge https://github.com/splitbrain/dokuwiki into html_showrev_output
Diffstat (limited to 'lib/exe/detail.php')
| -rw-r--r-- | lib/exe/detail.php | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/exe/detail.php b/lib/exe/detail.php index cd3f362ad..ec1a9b874 100644 --- a/lib/exe/detail.php +++ b/lib/exe/detail.php @@ -5,6 +5,7 @@ require_once(DOKU_INC.'inc/init.php'); $IMG = getID('media'); $ID = cleanID($INPUT->str('id')); +$REV = $INPUT->int('rev'); // this makes some general info available as well as the info about the // "parent" page @@ -35,8 +36,8 @@ $ERROR = false; $AUTH = auth_quickaclcheck($IMG); if($AUTH >= AUTH_READ){ // check if image exists - $SRC = mediaFN($IMG); - if(!@file_exists($SRC)){ + $SRC = mediaFN($IMG,$REV); + if(!file_exists($SRC)){ //doesn't exist! http_status(404); $ERROR = 'File not found'; |