diff --git a/inc/common.php b/inc/common.php index 8448037b1bff7d90aea25d848cb6e086b5a1dcdc..0358502f0bda7f54575a5698ddc6a00032ed6ed3 100644 --- a/inc/common.php +++ b/inc/common.php @@ -1216,7 +1216,7 @@ function detectExternalEdit($id) { if($lastMod > $lastRev) { $fileLastRev = wikiFN($id, $lastRev); $revinfo = $pagelog->getRevisionInfo($lastRev); - if(empty($lastRev) || !file_exists($fileLastRev) || $revinfo['changeType'] == DOKU_CHANGE_TYPE_DELETE) { + if(empty($lastRev) || !file_exists($fileLastRev) || $revinfo['type'] == DOKU_CHANGE_TYPE_DELETE) { $filesize_old = 0; } else { $filesize_old = io_getSizeFile($fileLastRev);