MGM: adding Drupal 7.23 patches.