Update versionmanager.php