diff -r 2f6f6f7551ca -r 32102edaa81b web/wp-admin/options-head.php
--- a/web/wp-admin/options-head.php	Thu Sep 16 15:45:36 2010 +0000
+++ b/web/wp-admin/options-head.php	Mon Nov 19 18:26:13 2012 +0100
@@ -10,8 +10,10 @@
  */
 
 wp_reset_vars(array('action', 'standalone', 'option_group_id'));
-?>
 
-<?php if (isset($_GET['updated'])) : ?>
-<div id="message" class="updated fade"><p><strong><?php _e('Settings saved.') ?></strong></p></div>
-<?php endif; ?>
\ No newline at end of file
+if ( isset( $_GET['updated'] ) && isset( $_GET['page'] ) ) {
+	// For backwards compat with plugins that don't use the Settings API and just set updated=1 in the redirect
+	add_settings_error('general', 'settings_updated', __('Settings saved.'), 'updated');
+}
+
+settings_errors();