--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/web/wp-admin/options-head.php	Wed Feb 03 15:37:20 2010 +0000
@@ -0,0 +1,17 @@
+<?php
+/**
+ * WordPress Options Header.
+ *
+ * Resets variables: 'action', 'standalone', and 'option_group_id'. Displays
+ * updated message, if updated variable is part of the URL query.
+ *
+ * @package WordPress
+ * @subpackage Administration
+ */
+
+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