Ticket #2332: options.php.diff

wp-admin/options.php

@@ -59 +59 @@
                         
                         if (update_option($option, $value) ) {
                                 $any_changed++;
+                                do_action("update_option_$option");
                         }
                 }
         }