Merged in feature/from-pantheon (pull request #16)

code from pantheon

* code from pantheon

wp/wp-admin/options-head.php

@@ -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 back-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.' ), 'success' );
+}
+
+settings_errors();