Core update from Drupal 7.24 to Drupal 7.25.