Index: user-edit.php
===================================================================
--- user-edit.php	(revision 11718)
+++ user-edit.php	(working copy)
@@ -84,6 +84,11 @@
 $errors = edit_user($user_id);
 
 if ( !is_wp_error( $errors ) ) {
+	if ( IS_PROFILE_PAGE )
+		do_action('personal_options_updated', $user_id);
+	else
+		do_action('edit_user_profile_updated', $user_id);
+
 	$redirect = (IS_PROFILE_PAGE ? "profile.php?" : "user-edit.php?user_id=$user_id&"). "updated=true";
 	$redirect = add_query_arg('wp_http_referer', urlencode($wp_http_referer), $redirect);
 	wp_redirect($redirect);