diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2025-03-15 13:05:47 +0100 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2025-03-15 14:22:26 +0100 |
| commit | 3ef8921ca346ef2633838233cfb869fee9c2804d (patch) | |
| tree | a75541d8ef9b4bc29a1f75f8d28a236cbfd22682 /inc | |
| parent | 22da4ff5ae89e0d0171dcf1985488390fe678ef3 (diff) | |
| download | dokuwiki-mediaFNrev.tar.gz dokuwiki-mediaFNrev.zip | |
attempt to fix test on githubmediaFNrev
filemtimes are super weird on github
Diffstat (limited to 'inc')
| -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); |