ctime=workspaceStat.ino;// Linux: birthtime is ctime, so we cannot use it! We use the ino instead!
}elseif(isMacintosh){
ctime=workspaceStat.birthtime.getTime();// macOS: birthtime is fine to use as is
}elseif(isWindows){
if(typeofworkspaceStat.birthtimeMs==='number'){
ctime=Math.floor(workspaceStat.birthtimeMs);// Windows: fix precision issue in node.js 8.x to get 7.x results (see https://github.com/nodejs/node/issues/19897)
ctime=workspaceStat.ino;// Linux: birthtime is ctime, so we cannot use it! We use the ino instead!
}elseif(isMacintosh){
ctime=workspaceStat.birthtime.getTime();// macOS: birthtime is fine to use as is
}elseif(isWindows){
if(typeofworkspaceStat.birthtimeMs==='number'){
ctime=Math.floor(workspaceStat.birthtimeMs);// Windows: fix precision issue in node.js 8.x to get 7.x results (see https://github.com/nodejs/node/issues/19897)