Patch to add password_updated

chloe@ayodhya:~/opidev$ diff -uprN wordpress/wp-includes/user.php web/wp-includes/user.php
--- wordpress/wp-includes/user.php      2012-04-27 17:57:51.000000000 +0200
+++ web/wp-includes/user.php    2012-10-04 17:36:12.382154680 +0200
@@ -1427,6 +1427,8 @@ function wp_update_user($userdata) {
        $current_user = wp_get_current_user();
        if ( $current_user->ID == $ID ) {
                if ( isset($plaintext_pass) ) {
+      // call password_updated to reflect that change elsewhere if needed
+      do_action('password_updated', $ID, $plaintext_pass);
                        wp_clear_auth_cookie();
                        wp_set_auth_cookie($ID);
                }