equal
deleted
inserted
replaced
9 */ |
9 */ |
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 backwards 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.'), 'updated'); |
16 } |
16 } |
17 |
17 |
18 settings_errors(); |
18 settings_errors(); |