Detect a change in modified time on versionFile
Detect a change in modified time on versionFile

Fixes #3125.

Dart-Code/Dart-Code,Dart-Code/Dart-Code,Dart-Code/Dart-Code,Dart-Code/Dart-Code,Dart-Code/Dart-Code