path: root/wp-admin/options-head.php

<?php wp_reset_vars(array('action', 'standalone', 'option_group_id')); ?>

<br clear="all" />

<?php if (isset($_GET['updated'])) : ?>
<div id="message" class="updated fade"><p><strong><?php _e('Options saved.') ?></strong></p></div>
<?php endif; ?>