web/wp-admin/options-head.php
changeset 194 32102edaa81b
parent 136 bde1974c263b
equal deleted inserted replaced
193:2f6f6f7551ca 194:32102edaa81b
     8  * @package WordPress
     8  * @package WordPress
     9  * @subpackage Administration
     9  * @subpackage Administration
    10  */
    10  */
    11 
    11 
    12 wp_reset_vars(array('action', 'standalone', 'option_group_id'));
    12 wp_reset_vars(array('action', 'standalone', 'option_group_id'));
    13 ?>
       
    14 
    13 
    15 <?php if (isset($_GET['updated'])) : ?>
    14 if ( isset( $_GET['updated'] ) && isset( $_GET['page'] ) ) {
    16 <div id="message" class="updated fade"><p><strong><?php _e('Settings saved.') ?></strong></p></div>
    15 	// For backwards compat with plugins that don't use the Settings API and just set updated=1 in the redirect
    17 <?php endif; ?>
    16 	add_settings_error('general', 'settings_updated', __('Settings saved.'), 'updated');
       
    17 }
       
    18 
       
    19 settings_errors();