diff options
| -rw-r--r-- | inc/common.php | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/inc/common.php b/inc/common.php index 75c3e8574..b74621071 100644 --- a/inc/common.php +++ b/inc/common.php @@ -1135,12 +1135,14 @@ function getRevisions($id){ $clid = cleanID($id); if(strrpos($clid,':')) $clid = substr($clid,strrpos($clid,':')+1); //remove path $clid = utf8_encodeFN($clid); - + $clid_len = strlen($clid); if (is_dir($revd) && $dh = opendir($revd)) { while (($file = readdir($dh)) !== false) { - if (is_dir($revd.'/'.$file)) continue; - if (preg_match('/^'.$clid.'\.(\d+)\.txt(\.gz)?$/',$file,$match)){ - $revs[]=$match[1]; + if (substr($file, 0, $clid_len)===$clid) { + $p = strpos($file, '.', $clid_len+1); + if (!$p===false) { + $revs[] = substr($file, $clid_len+1, $p-$clid_len-1); + } } } closedir($dh); |