Bumped version numbers of PHP.