--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wp/wp-admin/options-head.php	Wed Nov 06 03:21:17 2013 +0000
@@ -0,0 +1,18 @@
+<?php
+/**
+ * WordPress Options Header.
+ *
+ * Displays updated message, if updated variable is part of the URL query.
+ *
+ * @package WordPress
+ * @subpackage Administration
+ */
+
+wp_reset_vars( array( 'action' ) );
+
+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();