--- wordpress/wp-includes/user.php      2012-04-27 17:57:51.000000000 +0200
+++ web/wp-includes/user.php    2012-10-06 10:21:03.603898227 +0200
@@ -1423,6 +1423,9 @@ function wp_update_user($userdata) {
		$userdata = array_merge($user, $userdata);
		$user_id = wp_insert_user($userdata);

+		// call password_updated to reflect that change elsewhere if needed
+		do_action('password_updated', $ID, $plaintext_pass);
+
		// Update the cookies if the password changed.
		$current_user = wp_get_current_user();
		if ( $current_user->ID == $ID ) {