diff -r 3d4e9c994f10 -r a86126ab1dd4 wp/wp-admin/options-head.php
--- a/wp/wp-admin/options-head.php	Tue Oct 22 16:11:46 2019 +0200
+++ b/wp/wp-admin/options-head.php	Tue Dec 15 13:49:49 2020 +0100
@@ -12,7 +12,7 @@
 
 if ( isset( $_GET['updated'] ) && isset( $_GET['page'] ) ) {
 	// For back-compat with plugins that don't use the Settings API and just set updated=1 in the redirect.
-	add_settings_error( 'general', 'settings_updated', __( 'Settings saved.' ), 'updated' );
+	add_settings_error( 'general', 'settings_updated', __( 'Settings saved.' ), 'success' );
 }
 
 settings_errors();