Change logic determining whether the file on server was updated

Do not download older file with different file size

 lib/fetch.php

@@ -51,7 +51,7 @@
    
    $updated = FALSE;
    
    if($localSize != $remoteSize || $localTime < $remoteTime) {
    if($localTime < $remoteTime || ($localTime == $remoteTime && $localSize != $remoteSize)) {
        if(file_exists($file.'.tmp')) {
            unlink($file.'.tmp');
        }