Update version.php for the 2.5 release.