diff options
Diffstat (limited to 'inc/pageutils.php')
| -rw-r--r-- | inc/pageutils.php | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/inc/pageutils.php b/inc/pageutils.php index 148d24860..0b913c109 100644 --- a/inc/pageutils.php +++ b/inc/pageutils.php @@ -458,8 +458,7 @@ function mediaFN($id, $rev = '', $clean = true) global $conf; if ($clean) $id = cleanID($id); $id = str_replace(':', '/', $id); - $rev = (int) $rev;; - + $rev = (int) $rev; // current file $simple = $conf['mediadir'] . '/' . utf8_encodeFN($id); |