wp/wp-admin/options-head.php
changeset 16 a86126ab1dd4
parent 9 177826044cd9
child 21 48c4eec2b7e6
equal deleted inserted replaced
15:3d4e9c994f10 16:a86126ab1dd4
    10 
    10 
    11 wp_reset_vars( array( 'action' ) );
    11 wp_reset_vars( array( 'action' ) );
    12 
    12 
    13 if ( isset( $_GET['updated'] ) && isset( $_GET['page'] ) ) {
    13 if ( isset( $_GET['updated'] ) && isset( $_GET['page'] ) ) {
    14 	// For back-compat with plugins that don't use the Settings API and just set updated=1 in the redirect.
    14 	// For back-compat with plugins that don't use the Settings API and just set updated=1 in the redirect.
    15 	add_settings_error( 'general', 'settings_updated', __( 'Settings saved.' ), 'updated' );
    15 	add_settings_error( 'general', 'settings_updated', __( 'Settings saved.' ), 'success' );
    16 }
    16 }
    17 
    17 
    18 settings_errors();
    18 settings_errors();