Forget modification in versions.php